Cerny, E., Dudani, S., Havlicek, J., & Korchemny, D. (2010). The Power of Assertions in SystemVerilog (First.). Springer US : Imprint: Springer.
Παραπομπή σε μορφή Chicago (17η εκδ.)Cerny, Eduard, Surrendra Dudani, John Havlicek, και Dmitry Korchemny. The Power of Assertions in SystemVerilog. First. Boston, MA: Springer US : Imprint: Springer, 2010.
Παραπομπή σε μορφή MLA (8th εκδ.)Cerny, Eduard, et al. The Power of Assertions in SystemVerilog. First. Springer US : Imprint: Springer, 2010.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.