Hardware Verification with C++ : A Practitioner’s Handbook
Part I makes the case for C++, and shows a standard verification system using object-oriented programming (OOP). Part II presents two open-source C++ libraries that enable efficient verification with C++ -- Teal, a C++ to Verilog interface, and Truss, a standard verification framework. Part III focuses on OOP with examples from real verification projects. Part IV puts it all together showing complete block-level and system-level verification systems. "The handbook provides a clear understanding of object-oriented programming, and how it applies to hardware verification. It is clear to me that C++, together with Teal and Truss, could form a strong platform for the next generation of hardware verification."
Related Books
Hotel building in Damascus city
Show a hotel building in Damascus. The project is a facility consisting of one basement use as a storage rooms and shelter, and ground story and twelve story.
A structural study and study of the site of Al-Rahma hospital - Deir Ez-Zour
Presents the structural study and design of Al-Rahma Hospital, located in Deir Ez-Zour, Al-Kanamat area near the Euphrates River. The hospital includes two basement levels and ten floors above ground. The basements house medical imaging rooms, storage spaces, and a shelter.
Introduction to finite element analysis : A textbook for engineering students
Covers the basic concepts and applications of finite element analysis. It is specifically aimed at introducing this advanced topic to undergraduate-level engineering students and practicing engineers in a lucid manner. It also introduces a structural and heat transfer analysis software FEASTSMT which has wide applications in civil, mechanical, nuclear and automobile engineering domains.
Fundamentals of durable reinforced concrete
The book presents a framework for specification through internationally adopted codes and standards and summarises the background to probabilistic approaches to durability design, providing a state-of-the-art review of mathematical modelling of deterioration mechanisms along with current directions in test methods for performance-based specifications.
