cocotb-coverage

Contents:

• Introduction
  • Functional Coverage in SystemVerilog
  • Functional Coverage with cocotb-coverage
  • Constrained Random Verification Features in SystemVerilog
  • Constrained Random Verification Features in cocotb-coverage
• Reference Documentation
  • Module coverage
    • CoverageDB
    • coverage_db
    • CoverItem
    • CoverPoint
    • CoverCross
    • CoverCheck
    • coverage_section()
    • merge_coverage()
    • reportCoverage()
    • coverageSection()
  • Module crv (Constrained Random Verification)
    • Randomized
• Tutorials
  • Let’s Start
  • Functional Coverage
    • Translating SystemVerilog Constructs to cocotb-coverage
    • Using CoverCheck as Assertions
    • Advanced Coverage
  • Constrained Random Verification
    • Translating SystemVerilog Constructs to cocotb-coverage
    • Distributions
    • Randomization Order and Performance Issues
  • Coverage-Driven Test Generation
• Examples
  • FIFO (examples/fifo)
    • DUT
    • Testbench
  • Packet Switch (examples/pkt_switch)
    • DUT
    • Testbench

Indices and tables

• Index

• Module Index

• Search Page