wave rerunner
This repo contains:
- python packages that read wave files in various formats (fsdb, shm, wlf, vcd) into python data structure.
- python packages to inject data from the python data structures back into a design (via cocotb or plain vpi)
- examples showing how these capabilities could be applied to common verification tasks:
- replaying SVA assertions from wave, for fast development cycle of assertions
- replaying UVM monitors, checkers, coverage from wave, for fast developement cycle of coverage/checkers
- batch searching of wave files and extraction of signal level coverage data from wave
pre-requisites
- cocotb (currently required for injecting anything back)
- rerunning SVA/UVM requires commercial simulator
running the examples
SVA rerun
- cd examples/snps/setup
- source sourceme.snps
- cd ../../sva_rerun
- ./run.csh
- ./rerun.csh