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.