High-Level Verification: Methods and Tools for Verification of System-Level Designs - Sudipta Kundu - Libros - Springer-Verlag New York Inc. - 9781493901012 - 1 de octubre de 2014
En caso de que portada y título no coincidan, el título será el correcto

High-Level Verification: Methods and Tools for Verification of System-Level Designs 2011 edition

Precio
$ 107,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.
Añadir a tu lista de deseos de iMusic

También disponible como:

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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 1 de octubre de 2014
ISBN13 9781493901012
Editores Springer-Verlag New York Inc.
Páginas 167
Dimensiones 155 × 235 × 10 mm   ·   267 g
Lengua Inglés  

Mere med samme udgiver