| title | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|
| Assertion-Based Design | 978-1-4020-8027-2 | 2004 | Adam C. Krolnik · David J. Lacey |
| Assertion-Based Design | 978-1-4020-7498-1 | 2003 | Adam C. Krolnik · David J. Lacey |
| Creating Assertion-Based IP | 978-0-387-36641-8 | 2007 | Adam C. Krolnik |
| Principles of Verifiable RTL Design: A functional coding style supporting verification processes in Verilog | 978-0-7923-7368-1 | 2001 | Lionel Bening |
| アサーションベース設計 原書2版 asaーshombeーsusekkei gensho2ban/ | 978-4-621-07449-7 | 2004 | David J. Lacey · Adam C. Krolnik |
D.F. · H.D. · H. D. Foster · Harry D. · Harry Foster