| year of publication | ISBN | author(s) | title |
|---|---|---|---|
| 2001 | 978-0-9711994-0-8 | Faisal Haque · Jonathan Michelson · Khizar Khan | The Art of Verification with VERA |
| 2006 | 978-0-9711994-1-5 | Faisal Haque · Jonathan Michelson · Khizar Khan | The Art of Verification with SystemVerilog Assertions |