Cohen, B., Venkataramanan, S., Kumari, A., & Piper, L. (2023). SystemVerilog assertions handbook: ... for dynamic and formal verification (Revised 4th edition.). VhdlCohen Publishing.
Chicago Style (17th ed.) CitationCohen, Ben, Srinivasan Venkataramanan, Ajeetha Kumari, and Lisa Piper. SystemVerilog Assertions Handbook: ... for Dynamic and Formal Verification. Revised 4th edition. Los Angeles, California: VhdlCohen Publishing, 2023.
MLA (9th ed.) CitationCohen, Ben, et al. SystemVerilog Assertions Handbook: ... for Dynamic and Formal Verification. Revised 4th edition. VhdlCohen Publishing, 2023.
Warning: These citations may not always be 100% accurate.