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