Nuolaidų kodai net iki -75%* Pigu PLUS nariams >> 
Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification, Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification
Specifikacijos:
| Puslapių skaičius: | 208 |
| Leidimo metai: | 2025 |
| Prekės ID: | 242648056 |
Daugiau informacijos
- Pilna kaina
-
60 mėn. be palūkanų
Nuo 541 € x 60 mėn.
Nuo 541 € / mėn.
Lizingo skaičiuoklė
Skolinantis 20373 €, sutartį sudarant 60 mėn. laikotarpiui, mėn. įmoka – 541 €, metinė palūkanų norma – 0,00%, mėn. sutarties administravimo mokestis – 0.99%, sutarties sudarymo mokestis – 0%, BVKKMN – 22,05%, bendra vartojimo kredito gavėjo mokama suma – 32460 €. Paslaugos teikėjas: „AS Inbank filialas“.
Skolinantis 20373 €, sutartį sudarant 60 mėn. laikotarpiui, mėn. įmoka – 541 €, metinė palūkanų norma – 0,00%, mėn. sutarties administravimo mokestis – 0.99%, sutarties sudarymo mokestis – 0%, BVKKMN – 22,05%, bendra vartojimo kredito gavėjo mokama suma – 32460 €. Paslaugos teikėjas: „AS Inbank filialas“.
Pardavėjas:
000 €
000 €
249 €
299 €
269 €
349 €
Dėmesio! Pristatymo terminai yra preliminarūs, kadangi terminai atsinaujina priklausomai nuo faktinio užsakymo pateikimo ir apmokėjimo laiko. Galutinis pristatymo terminas yra pateikiamas Pigu.lt patvirtinus užsakymą.
Pardavėjas:
- 93% pirkėjų rekomenduotų šį pardavėją
Prekės aprašymas: 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.
Bendra informacija apie: Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification
| Prekės ID: | 242648056 |
| Kategorija: | Knygos apie architektūrą |
| Prekės pakuočių kiekis: | 1 vnt. |
| Pakuotės išmatavimai ir svoris (1): | 0,241 x 0,16 x 0,017 m, 0,48 kg |
| Pardavėjo šalis: | Lietuva |
| Leidinio kalba: | Anglų |
| Viršelio tipas: | Kietas |
| Formatas: | Tradicinė knyga |
| Tipas: | Nenurodyta |
| Pardavėjas: | Patogupirkti Knygynas |
| Puslapių skaičius: | 208 |
| Leidimo metai: | 2025 |
Daugiau informacijos
Prekių nuotraukos skirtos tik iliustraciniams tikslams ir yra pavyzdinės. Prekės aprašyme esančios video nuorodos yra tik informacinio pobūdžio, todėl jose pateikiama informacija gali skirtis nuo pačios prekės. Originalių produktų spalvos, užrašai, parametrai, matmenys, dydžiai, funkcijos, ir/ar bet kurios kitos savybės dėl savo vizualinių ypatybių gali atrodyti kitaip negu realybėje, todėl prašome vadovautis prekių savybėmis, kurios nurodytos prekių aprašymuose.
Kiti taip pat domėjosi
Partnerių pasiūlymai
Reklama
Įvertinimai ir atsiliepimai (0)
Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification
Būkite pirmas parašęs atsiliepimą!
Šią prekę gali įvertinti tik ją įsigiję bei registruoti Pigu.lt pirkėjai.
Įvertinti prekę
Klausimai ir atsakymai (0)
Jūsų klausimas buvo sėkmingai pateiktas. Į klausimą bus atsakyta per 3 darbo dienas