Static instrumentation tool for efficient binary-level coverage analysis.
Galois RISC-V ISA Formal Tools
Utility to perform tests coverage analysis
The objective is to take a simple counter design from the RTL (Register Transfer Level) stage to the GDSII format using Cadence tools with a 90nm Process Design Kit (PDK).. The tools used in this process include Xcelium for simulation and coverage analysis, Genus for synthesis, Innovus for physical design, and Pegasus/PVS for physical verification.
Functional testing, coverage analysis, test-driven development
Add a description, image, and links to the coverage-analysis topic page so that developers can more easily learn about it.
To associate your repository with the coverage-analysis topic, visit your repo's landing page and select "manage topics."