| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Hardware Description Languages and their Applications: Specification, modelling, verification and synthesis of microelectronic systems | 978-0-412-78810-9 | 1997 | Carlos Delgado Kloos | |
| Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method | 978-0-7923-8301-7 | 1998 | Bachir Berkane · Pierre Girodias · Karim Khordoc | |
| SVA: The Power of Assertions in SystemVerilog | 978-3-319-07138-1 | 2014 | Surrendra Dudani · John Havlicek · Dmitry Korchemny | |
| Verification Methodology Manual for Systemverilog | 978-0-387-50645-6 | 2008 | Janick Bergeron · Alan Hunter | |
| Verification Methodology Manual for SystemVerilog | 978-0-387-25538-5 | 2005 | Janick Bergeron · Alan Hunter · Andy Nightingale | |
| ベリフィケーション・メソドロジ・マニュアル―SystemVerilogでLSI機能検証プロセスを徹底改善 berifuikeーshon・mesodoroji・manyuaru―SystemVerilogdeLSIkinoukenshoupurosesuwotetteikaizen | 978-4-7898-3615-9 | 2006 | Janick Bergeron · Alan Hunter · Andrew Nightingale |
E C. · Eduardo Corona · Edward Cairney · Edward Carini · Edward Carney · Edward Corwin
CQ出版 (CQshuppan) · Chapman and Hall · Springer