Iegādājies preces "mīnusā"*! Simtiem preču līdz -50%* zem pašizmaksas >> 
1
Sveiki, kā varam palīdzēt?

Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification, Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification

0.0 (0) Jautājumi un atbildes (0)
Izvēle:
Parādīt vairāk
Specifikācijas:
Preces ID: 124747787
Vairāk informācijas
Tikai lietotnē 220.lv PLUS biedriem! Saņem līdz 4x vairāk 220.lv naudā!*
  • Pilna cena
  • Nomaksa 0,99% (60 mēn.)
    No 485 € x 60 mēn.

220.lv PLUS cena

18290 €

Parastā cena

26129 €

220.lv PLUS cena

18290 €
No 485 € / mēn.
Nomaksas kalkulators
Pārdevējs:
Jūsu pilsēta

Rīgā, veikalā (Krasta iela 52)

10. augustā
000 €

Saņemiet Omniva pakomātā

10. augustā
249 €

Piegādāsim uz mājām

10. augustā
399 €

Uzmanību! Piegādes nosacījumi ir provizoriski, jo noteikumi tiek atjaunināti atkarībā no faktiskā pasūtījuma veikšanas laika un apmaksas. Galīgais piegādes termiņš tiek norādīts, kad 220.lv apstiprina pasūtījumu.

Saņemiet Omniva pakomātā

10. augustā
249 €

Piegādāsim uz mājām

10. augustā
499 €

Uzmanību! Piegādes nosacījumi ir provizoriski, jo noteikumi tiek atjaunināti atkarībā no faktiskā pasūtījuma veikšanas laika un apmaksas. Galīgais piegādes termiņš tiek norādīts, kad 220.lv apstiprina pasūtījumu.

Par atteikuma tiesībām
Pārdevējs:
  • 89% pircēju ieteiktu šo pārdevēju.
Simtiem preču
Informācija

Bieži pērk kopā

Preces apraksts: Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification

This book describes several versatile hardware analysis techniques that tackle existing and new challenges. These techniques cover different phases of the hardware development process, including the verification, debugging, and post-synthesis optimization phases.  The authors introduce the Waveform Analysis Language (WAL), which allows users to code analysis tasks in the form of programs that run on waveforms. The book covers processor verification, formal microcode verification, programmable automated waveform analysis demonstrated for a large variety of previously manual analysis tasks, as well as netlist optimization leveraging formal methods. All methods are available as open source, typically include examples on RISC-V analysis problems, providing a strong foundation for the community. Introduces automated waveform analysis based on a DSL to execute programs on waveforms; Includes practical examples for waveform analysis including demonstrations for RISC-V processors; Presents novel approaches for processor verification, microcode verification and netlist optimization with formal methods.

Kopīgā informācija par: Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification

Preces ID: 124747787
Kategorija: Grāmatas par arhitektūru
Preču iepakojumu skaits: 1 gab.
Iepakojuma izmēri un svars (1): 0,241 x 0,16 x 0,017 m, 0,48 kg

Produktu attēliem ir ilustratīva nozīme un tie ir kā piemēri. Produkta aprakstā esošie video ir paredzēti tikai informatīviem nolūkiem, tāpēc tajos iekļautā informācija var atšķirties no paša produkta. Krāsas, piezīmes, parametri, izmēri, izmēri, funkcijas, un/vai jebkuras citas oriģinālo izstrādājumu īpašības var atšķirties no to faktiskā izskata, tāpēc, lūdzu, skatiet produkta specifikācijās norādīto produkta aprakstu.

Arī citi interesējās
Partneru piedāvājumi
Reklāma

Vērtējumi un atsauksmes (0)

Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification
Esiet pirmais, kurš atstāj atsauksmi!
Šo preci var novērtēt tikai tie pircēji, kas to ir iegādājušies un reģistrējušies 220.lv.
Novērtēt preci

Jautājumi un atbildes (0)

Jautājiet citiem pircējiem par šo produktu!
Uzdot jautājumu
Jūsu jautājums ir veiksmīgi nosūtīts. Atbilde uz šo jautājumu tiks sniegta 3 darba dienu laikā
Jautājumam jāsatur vismaz 10 rakstzīmes
Uzdot jautājumu Atcelt

Rekomendējam kopā ar: Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification

Labākais no Patogupirkti

Turpināt iepirkšanos

Grāmatas par arhitektūru

: Jonathan Woolf Architects - London: De aedibus international 4, How to Read Buildings: A crash course in architecture, Interior Design Reference & Specification Book updated & revised: Everything Interior Designers Need to Know Every Day Revised & Updated ed, English Country House, Building from Waste: Recovered Materials in Architecture and Construction, New Nordic Houses, Verona and Lake Garda: With an Excursion to Valpolicella: Architectural Guide, Queer Spaces: An Atlas of LGBTQIAplus Places and Stories, Building Utopia: The Barbican Centre, Churches of Paris, Introduction to Architecture, London's 'Golden Mile': The Great Houses of the Strand, 1550-1650, Architectural Drawings: Hidden Masterpieces from Sir John Soane's Museum, English Cathedral, Mini-Forest Revolution: Using the Miyawaki Method to Rapidly Rewild the World