Cocotb as a comprehensive verification platform
summary
Argues that functional verification is software and shows a working cocotb-based flow that adds constraint randomization and metric-driven verification to Python testbenches, reimplementing coverpoints, crosses and a SystemVerilog-like API so randomization and coverage collection run on top of a simulator via VPI. Demonstrates post-processing and DSP-friendly reference models, reports successful gate‑level runs (with SDF/timing caveats), notes no scalability proof yet and that a separate solver is used for constraints so real-world adoption needs more large‑scale regression testing.
AI-written summary · about
chapters (8)
- 0:00Start
- 1:43Why is verification so important?
- 7:37Functional verification today
- 9:23System Verilog and UVM today
- 11:48Functional verification - a different approach
- 14:45New Functional Coverage Mechanism
- 15:51DSP Testbench structure
- 16:24Advanced verification problems
related talks
21mCocotb: Python-powered hardware verification
23mHow cocotb made Python-powered verification mainstream -- and what comes next
16mcocotb 2.0: celebrating 12 years of verification fun
31mNews from cocotb land
23mCORE-V Verification Test Bench – Commercial Qualit...
17mCode Coverage Based Verification (CCBV)
25mRISC-V System-level Certification from Verification Foundations
21mCloud-based Verification of Open Source RISC-V Cores Using the Metrics Cloud Platform and Codasip SweRV Support Package