High-Level-Verifizierung: Methoden und Tools zur Verifizierung von Systemebene...
High-Level Verification : Methods and Tools for Verification of System-Level Designs, Hardcover by Kundu, Sudipta; Lerner, Sorin; Gapta, Rajesh K., ISBN 1441993584, ISBN-13 9781441993588, Like New Used, 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: