| title | media type | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|---|
| ESL Design and Verification: A Prescription for Electronic System Level Methodology | Hardcover | 978-0-12-373551-5 (0-12-373551-3) | 2007 | Grant Martin · Brian Bailey |
| Functional Verification Coverage Measurement and Analysis | Paperback | 978-0-387-73992-2 (0-387-73992-0) | 2007 | |
| Functional Verification Coverage Measurement and Analysis | Hardcover | 978-1-4020-8025-8 (1-4020-8025-5) | 2004 | |