High-Level-Verifizierung: Methoden und Tools zur Verifizierung von Systemebene...
High-level Verification : Methods and Tools for Verification of System-level Designs, Paperback by Kundu, Sudipta; Lerner, Sorin; Gupta, Rajesh K., ISBN 149390101X, ISBN-13 9781493901012, Brand New, Free shipping in the US The growing complexity of the design process for systems on chip (SOCs) allows the use of more demanding computing languages, with a principle goal being verification at a higher level of abstraction. This book focuses on these high-level verification methods.
Jetzt bei Ebay: