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

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

Precio
$ 122,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 10 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
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.

178 pages, 1, black & white illustrations

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 30 de mayo de 2011
ISBN13 9781441993588
Editores Springer-Verlag New York Inc.
Páginas 167
Dimensiones 163 × 247 × 17 mm   ·   420 g
Lengua Inglés  

Mere med samme udgiver

Ver todo de Sudipta Kundu ( Ej. Hardcover Book y Paperback Book )