SystemVerilog Assertions and Functional Coverage
  MLA
  Mehta, Ashok B. Systemverilog Assertions and Functional Coverage. Springer New York, 2014.
  APA
  Mehta, A. B. (2014). SystemVerilog Assertions and Functional Coverage. Springer New York.
  Chicago
  Mehta, Ashok B. Systemverilog Assertions and Functional Coverage. : Springer New York, 2014.