GitHub topics: coverage-analysis
GaloisInc/grift
Galois RISC-V ISA Formal Tools
Language: Haskell - Size: 7.55 MB - Last synced at: 13 days ago - Pushed at: 3 months ago - Stars: 58 - Forks: 8
KAMATHAM19/RTL-to-GDSII-ASIC-design-of-Counter
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.
Language: Tcl - Size: 56.6 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
eltorocorp/drygopher
Golang multi-package coverage analysis. Keep your coverage high and your gopher dry.
Language: Go - Size: 2.22 MB - Last synced at: 2 months ago - Pushed at: about 5 years ago - Stars: 6 - Forks: 1
abenkhadra/bcov
Static instrumentation tool for efficient binary-level coverage analysis.
Language: C++ - Size: 446 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 137 - Forks: 8
hwixley/ST-Coursework1
Functional testing, coverage analysis, test-driven development
Language: Java - Size: 17.9 MB - Last synced at: almost 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
MostHappyCougar/QACoverageTool
Utility to perform tests coverage analysis
Language: Python - Size: 869 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 0
