Authors:
Describes a small verification library with a concentration on user adaptability such as re-useable components, portable Intellectual Property, and co-verification
Takes a realistic view of reuseability and distills lessons learned to a tool box of techniques and guidelines
Includes supplementary material: sn.pub/extras
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (16 chapters)
-
Front Matter
-
Introduction
-
C++ and Verification (The Why and How)
-
Front Matter
-
-
An Open-Source Environment with C++
-
Front Matter
-
-
Using OOP for Verification(Best Practices)
-
Front Matter
-
-
Examples (Putting It All Together)
-
Front Matter
-
About this book
Reviews
From the reviews:
"I was very pleasantly surprised when I … curled up with a book titled Hardware Verification with C++ … . Published by Springer, this … is a gem. … the authors wrote with an easy-going style that makes the book a pleasure to read. ... Very few people can write a good book. Mike and Robert are firmly established in this … category. … I learned more about verifying hardware using C ++ … with this book than I have in the last few years!" (Clive Maxfield, Programmable Logic Design Line, February, 2007)
About the authors
Mike Mintz has more than 20 years of software development experience. Five years ago, he switched back to hardware verification. He has managed groups of software developers and has more than 15 years of C++ programming experience. He implemented C++ verification systems at several companies, using C++, as well languages such as SystemVerilog, Vera and ‘e’.
Robert Ekendahl has a background in ASIC design and more then 12 years experience as a senior verification engineer. Has developed verification system and served as project manager for fortune 100 companies and start-ups with a focus on telecommunication. Has worked in C++ as well as languages such as Verilog, VHDL, C, Vera and ‘e’.
Bibliographic Information
Book Title: Hardware Verification with C++
Book Subtitle: A Practitioner’s Handbook
Authors: Mike Mintz, Robert Ekendahl
DOI: https://doi.org/10.1007/978-0-387-36254-0
Publisher: Springer New York, NY
eBook Packages: Engineering, Engineering (R0)
Copyright Information: Springer-Verlag US 2006
Hardcover ISBN: 978-0-387-25543-9Published: 10 August 2006
Softcover ISBN: 978-1-4899-7897-4Published: 30 April 2017
eBook ISBN: 978-0-387-36254-0Published: 11 December 2006
Edition Number: 1
Number of Pages: XXI, 341
Topics: Circuits and Systems, Computer-Aided Engineering (CAD, CAE) and Design, Programming Languages, Compilers, Interpreters, Electrical Engineering