/assertion_rerun

Code to read various RTL simulator wave formats (fsdb, shm, vcd, wlf) into python and apply it as stimuli via cocotb/plain vpi.

Primary LanguagePython

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

alt-text