| title | media type | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|---|
| High-Level Verification: Methods and Tools for Verification of System-Level Designs | Paperback | 978-1-4939-0101-2 (1-4939-0101-X) | 2014 | |
| High-Level Verification: Methods and Tools for Verification of System-Level Designs | Hardcover | 978-1-4419-9358-8 (1-4419-9358-4) | 2011 | Sorin Lerner ยท Rajesh K. Gupta |