10% de desconto

High-Level Verification eBook

Methods And Tools For Verification Of System-Level Designs

de Sorin Lerner, Rajesh K. Gupta e Sudipta Kundu
idioma: inglês
Editor: SPRINGER NEW YORK, maio de 2011 ‧
118,59€
10% DESCONTO CARTÃO
DISPONIBILIDADE IMEDIATA
Ebook para ADE
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.

High-Level Verification

Methods And Tools For Verification Of System-Level Designs

de Sorin Lerner, Rajesh K. Gupta e Sudipta Kundu

Propriedade Descrição
ISBN: 9781441993595
Editor: SPRINGER NEW YORK
Data de Lançamento: maio de 2011
Idioma: Inglês
Tipo de produto: eBook
Formato e Compatibilidade: PDF para ADE
Coleção: Engineering
Classificação Temática: eBooks em Inglês > Arte > Design e Ilustração
EAN: 9781441993595