
Conte aos seus amigos sobre este item:
High-Level Verification: Methods and Tools for Verification of System-Level Designs 2011 edition
Sudipta Kundu
High-Level Verification: Methods and Tools for Verification of System-Level Designs 2011 edition
Sudipta Kundu
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.
167 pages, 6 black & white tables, biography
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 1 de outubro de 2014 |
ISBN13 | 9781493901012 |
Editoras | Springer-Verlag New York Inc. |
Páginas | 167 |
Dimensões | 155 × 235 × 10 mm · 267 g |
Idioma | English |
Ver tudo de Sudipta Kundu ( por exemplo Hardcover Book e Paperback Book )