| title | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|
| Hardware Verification with C++ | 978-0-387-50646-3 | 2008 | Mike Mintz |
| Hardware Verification with C++: A Practitioner’s Handbook | 978-1-4899-7897-4 | 2017 | " |
| Hardware Verification with C++: A Practitioners Handbook | 978-0-387-25543-9 | 2006 | " |
| Hardware Verification with System Verilog | 978-0-387-51880-0 | 2009 | " |
| Hardware Verification With SystemVerilog: An Object-oriented Framework | 978-0-387-71738-8 | 2007 | " |