A Practical Guide for SystemVerilog Assertions
MLA
Vijayaraghavan, Srikanth, and Meyyappan Ramanathan. A Practical Guide for Systemverilog Assertions. Springer US, 2005.
APA
Vijayaraghavan, S., & Ramanathan, M. (2005). A Practical Guide for SystemVerilog Assertions. Springer US.
Chicago
Vijayaraghavan, Srikanth, and Meyyappan Ramanathan. A Practical Guide for Systemverilog Assertions. : Springer US, 2005.