Functional Verification:  Books

Click on a book cover to add your comments to Amazon.com OR to discuss the book, go to the SynopsysOC forum!

Verification Methodology Manual for SystemVerilog		Writing Testbenches using SystemVerilog
SystemVerilog for Verification		A Practical Guide for SystemVerilog Assertions
Reuse Methodology Manual for System-on-a-Chip Designs		System Design with SystemC
Verilog: Frequently Asked Questions: Language, Applications and Extensions		A Pragmatic Approach to VMM Adoption
SystemVerilog Assertions Handbook		Using PSL/Sugar for Formal and Dynamic Verification
CTL for Test Information of Digital ICS		Metric Driven Design Verification: An Engineer's and Executive's Guide to First Pass Success