| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| SystemVerilog Assertions Handbook, 2nd Edition | 978-O-97O5394-8-9 (O-97O5394-8-7) | 2010 | Ben Cohen · Ajeetha Kumari · Lisa Piper |
Sreenivasan Venkatraman · Srinivasan Venkataraman · Srinivasan Venkatesh