Open Verification Methodology Cookbook - Glasser, Mark.; SpringerLink (Online service) (New York, NY : Springer New York : Imprint: Springer, 2009)
Verification Principles -- Fundamentals of Object-Oriented Programming -- Transaction-Level Modeling -- OVM Mechanics -- Testbench Fundamentals -- Reuse -- Complete Testbenches -- Sequences -- Block-to-System -- Coding Conventions.
Keywords: Electronic circuits; Computer-aided engineering; Circuits and Systems; Computer-Aided Engineering (CAD, CAE) and Design