| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| A Practical Guide for Systemverilog Assertions | 978-0-387-50752-1 (0-387-50752-3) | 2008 | Meyyappan Ramanathan |
| A Practical Guide for SystemVerilog Assertions | 978-0-387-26049-5 (0-387-26049-8) | 2005 | " |