Research notebook on hardware verification: comparing random, coverage-driven, fuzzing and formal methods on a small SoC, against a known fault population.
-
Updated
Aug 21, 2026 - Shell
#
coverage-driven-verification
Here are 3 public repositories matching this topic...
Independent, coverage-driven verification for any project — spec-kit, but for verification. A blind AI agent verifies your code from the spec alone, with reproducible bug-injection evidence (20/20 catchable bugs detected across 22 cases).
testing mutation-testing verification property-based-testing metamorphic-testing ivv ai-agent claude-code spec-driven-development coverage-driven-verification
-
Updated
May 26, 2026 - TypeScript
UVM-based verification portfolio for APB, AXI, I2C, SPI, and UART protocols. Class-based testbenches with sequence library, reference model, dual TLM-FIFO scoreboard, functional coverage (uvm_subscriber), SVA assertions, and Makefile/TCL build flow.
i2c spi tlm uart constrained-random xilinx-vivado axi amba apb asic-verification design-verification functional-coverage uvm-verification assertion-based-verification reference-model coverage-driven-verification
-
Updated
Jul 1, 2026 - SystemVerilog
Improve this page
Add a description, image, and links to the coverage-driven-verification topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the coverage-driven-verification topic, visit your repo's landing page and select "manage topics."