| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| The Art of Verification with SystemVerilog Assertions | 978-0-9711994-1-5 (0-9711994-1-8) | 2006 | Faisal Haque · Jonathan Michelson |
| The Art of Verification with VERA | 978-0-9711994-0-8 (0-9711994-0-X) | 2001 | Faisal Haque · Jonathan Michelson |
K.k. · Kazuharu Kiyono · Kazuhiro Kohama · Kazuhiro Konno · Kazuhiro Kumo · Khizr Khan