Description
Springer Hardware Verification With C++ A Practitioners Handbook by Mike Mintz , Robert Ekendahl
Describes a small verification library with a concentration on user adaptability such as re-useable components, portable Intellectual Property, and co-verification._x000D__x000D_Takes a realistic view of reusability and distills lessons learned down to a tool box of techniques and guidelines._x000D_ _x000D_C++ and Verification (The Why and How).- Why C++?.- OOP, C++, and Verification.- A Layered Approach.- An Open-Source Environment with C++.- Teal Basics.- Truss: A Standard Verification Framework.- Truss Flow.- Truss Example.- Using OOP for Verification(Best Practices).- Thinking OOP.- Designing with OOP.- OOP Classes.- OOP Connections.- Coding OOP.- Examples (Putting It All Together).- Block Level Testing.- Chip Level Testing.- Things to Remember._x000D_