Capa do artigo High-Level Verification
10% OFF

High-Level Verification eBook

Methods And Tools For Verification Of System-Level Designs

by Sorin Lerner, Rajesh K. Gupta e Sudipta Kundu
language: english
Publisher: SPRINGER NEW YORK, May of 2011 ‧
118,59€
10% OFF CARD
IMMEDIATE AVAILABILITY
Ebook for 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

by Sorin Lerner, Rajesh K. Gupta e Sudipta Kundu

Property Description
ISBN: 9781441993595
Publisher: SPRINGER NEW YORK
Release Date: May of 2011
Language: English
Format: eBook
File Format and Compatibility: PDF para ADE
Collection: Engineering
Categories: eBooks in English > Art > Design and Illustration
EAN: 9781441993595

BOOKS FROM THE SAME COLLECTION

SEE MORE TITLES FROM THIS COLLECTION

SORIN LERNER

SEE MORE TITLES BY THIS AUTHOR

RAJESH K. GUPTA

SEE MORE TITLES BY THIS AUTHOR

SUDIPTA KUNDU

SEE MORE TITLES BY THIS AUTHOR