Produkt mají v nabídce:
High-Level Verification - Kundu, Sudipta a Lerner, Sorin a Gupta, Rajesh K.
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.
