Design Verification with e

摘要: Design Verification with eSamir PalnitkarWritten for both experienced and new users, DesignVerification e gives you a broadcoverage of e. It stresses the practical verification perspective rather than emphasizing only itslanguage aspects.This book- Introduces to e-based methodologies Describes syntax in detail, including structs, units, methods, events, temporal expressions.i¾ TCMs Explains concepts automatic generation, checking coverage Discusses Reuse Methodology essential topics such as driven verification, components (eVCs), interfacing C/C++ Illustrates complete example Contains quick-reference guide language Offers many tipsIncludes overi¾ 250 illustrations, examples, andexercises, resource list. Learning objectives summariesare provided each chapter.“Mr. Palnitkar illustrates how why power ofthe everification underlying Specman Elite testbench automationtool are used develop today's most advanced environments. Thisbook is valuable novice user. I highlyrecommend it anyone exploring functional verification”-Moshe GavrielovChief Executive OfficerVerisity Design, Inc.“This book demonstratesi¾ can be usedi¾ createstate-of-the-art An ideal booki¾ jumpstartai¾ beginner handy reference experts”-Rakesh DodejaEngineering ManagerIntel Corporation“The simple, logical, well-organizedpresentation ewith plenty illustrations. This makes an text universitycourses on functionali¾ verification”-Dr. Steven Levitani¾ Professori¾ Department Electrical Engineeringi¾ University Pittsburgh, PA“This readers little or no programming experience. reader athorough understanding not language, buti¾ also effectively use thislanguage complex environments.”-Bill SchubertVerification EngineerST Microelectronics, Inc.“The flow logical gradual. Plentyof illustrations examples this users. A must-have beginners andexperts”-Karun MenonStaff EngineerSun Microsystems, Inc.PRENTICEHALLProfessionalTechnical ReferenceUpperSaddle River, NJi¾ 07458www.phptr.comISBN:0-13-144309-0