Creating Assertion-Based IP
Krolnik Adam C. Foster Harry D.
Vendu par Majestic Books, Hounslow, Royaume-Uni
Vendeur AbeBooks depuis 19 janvier 2007
Neuf(s) - Couverture souple
Etat : Neuf
Quantité disponible : 4 disponible(s)
Ajouter au panierVendu par Majestic Books, Hounslow, Royaume-Uni
Vendeur AbeBooks depuis 19 janvier 2007
Etat : Neuf
Quantité disponible : 4 disponible(s)
Ajouter au panierPrint on Demand pp. 336 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
N° de réf. du vendeur 5859047
A project’s functional verification testplan is the specification for the verification process. Developing this testplan usually involves the entire engineering team (architects, designers, and verification engineers). This book presents formal testplanning guidelines with examples focused on creating assertion-based verification IP. This is the first book published on this subject. It demonstrates a systematic process for formal specification and formal testplanning, and also demonstrates effective use of assertions languages beyond the traditional language construct discussions. Note that there many books published on assertion languages (such as SystemVerilog assertions and PSL). Yet, none of them discuss the important process of testplanning and using these languages to create verification IP.
This book presents formal testplanning guidelines with examples focused on creating assertion-based verification IP. It demonstrates a systematic process for formal specification and formal testplanning and is the first book published on this subject.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Visitez la page d’accueil du vendeur
Returns accepted if you are not satisfied with the Service or Book.
Best packaging and fast delivery