Vijayaraghavan, S., & Ramanathan, M. (2005). A Practical Guide for SystemVerilog Assertions. Springer Science+Business Media, Inc.
Παραπομπή σε μορφή Chicago (17η εκδ.)Vijayaraghavan, Srikanth, και Meyyappan Ramanathan. A Practical Guide for SystemVerilog Assertions. Boston, MA: Springer Science+Business Media, Inc, 2005.
Παραπομπή σε μορφή MLA (8th εκδ.)Vijayaraghavan, Srikanth, και Meyyappan Ramanathan. A Practical Guide for SystemVerilog Assertions. Springer Science+Business Media, Inc, 2005.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.