Skip to content

Latest commit

 

History

1 Commit

Folders and files

NameName
Last commit message
Last commit date
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

svw plugins

Production-oriented Tcl plugins for svw. Each directory under plugins/ is self-contained: pass its plugin.json to svw, or copy the directory into an internal verification toolbox.

Plugin Purpose Headless action
protocol-decoder Check bounded clocked protocol behavior and retain violation/transfer evidence check
x-detective Find and classify bounded X/Z intervals on a signal scan
failure-triage Import bounded native/JUnit regression failures and compare a baseline triage

Interactive loading:

svw waveform.vcd --plugin plugins/protocol-decoder/plugin.json

Headless automation:

svw agent waveform.vcd plugin-actions plugins/protocol-decoder/plugin.json
svw agent waveform.vcd plugin-run plugins/protocol-decoder/plugin.json check \
  '{"profile":"ready-valid","clock":"top.clk","start":0,"end":65,"roles":{"valid":"top.valid","ready":"top.ready","data":"top.data"}}'

Development

python3 tools/install_hooks.py
python3 tools/commit_gate.py --svw /path/to/svw

The GitHub workflow runs the same unit and smoke tests with the checksummed Linux binary from svw's public latest release.

About

No description, website, or topics provided.

Resources

Stars

0 stars

Watchers

0 watching

Forks

Releases

Packages

Contributors

Languages