Verification Overview

1
Verification Overview

• Simulation-based
• Input test patterns are needed
• Simple Trivial (the most popular approach
  nowadays)
• Only applicable and efficient for designs in
  block level

2
The Concept of TBV approach
3
TestWizard

• Comprises lots of USTF
• Uses PLI to integrate Verilog with C
• Benefits
• Complex data structures (records, lists)
• Functional coverage analysis
• Assertion checking
• Transaction database
• Fast to construct a test environment

4
SATA/SATAII BFM Framework