3. Design Verification

3.1. UVM Testbench Architecture

• • UVM Cookbook

3.2. Formal Verification

• • How to write SVA?

3.3. DV Metrics

• • What is code coverage?
  • What is functional coverage? How to write functional coverage?