High-Level Verification
Methods and Tools for Verification of System-Level Designs
Inbunden, Engelska, 2011
1 075 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Beskrivning
The verification techniques presented in this book include methods for verifying properties of high-level designs and methods for verifying that the translation from high-level design to a low-level Register Transfer Language (RTL) design preserves semantics.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
From Variability Tolerance to Approximate Computing in Parallel Integrated Architectures and Accelerators
Abbas Rahimi, Luca Benini, Rajesh K. Gupta
Häftad
1 075 kr
From Variability Tolerance to Approximate Computing in Parallel Integrated Architectures and Accelerators
Abbas Rahimi, Luca Benini, Rajesh K. Gupta
Inbunden
1 075 kr
- -30%
Del 1
- 4 för 3
Del 1
Del 2
- 4 för 3
Del 5
Del 3
- -21%
Hjärnans akilleshälar : hur din hjärna lurar dig, och vad du kan göra åt det
Anders Hansen
Inbunden
229 kr289 kr