High-Level Verification
Methods and Tools for Verification of System-Level Designs
Inbunden, Engelska, 2011
1 064 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 064 kr
From Variability Tolerance to Approximate Computing in Parallel Integrated Architectures and Accelerators
Abbas Rahimi, Luca Benini, Rajesh K. Gupta
Inbunden
1 064 kr
- Nyhet
- Signerad!
- -30%
- Signerad!
SIGNERAD - Där färgen får styra : En berättelse i akvarell
Maximilian Svensson, Linda Newnham
Inbunden
319 kr
- Nyhet
- Signerad!
Del 3
- -22%
Del 1