| title | media type | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|---|
| Accelerating Test, Validation and Debug of High Speed Serial Interfaces | Paperback | 978-94-007-8973-9 (94-007-8973-4) | 2014 | Yongquan Fan |
| Accelerating Test, Validation and Debug of High Speed Serial Interfaces | Hardcover | 978-90-481-9397-4 (90-481-9397-4) | 2010 | " |
| Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring | " | 978-1-4020-8585-7 (1-4020-8585-0) | 2008 | Marc Boulé |