|
|
|---|
|
|
|
|---|
Run an SVTV without first defining it.
Usage:
(svtv-run-defsvtv$ ;; entire form used to define an SVTV. May also be DEFSVTV$. (defsvtv$-phasewise ...) :env env)
This runs a concrete simulation of an SVTV without first fully defining it, producing a mapping from output variable names to 4vec values. It skips the composition of the cycle FSM and pipeline stages, which on large designs can greatly shorten the debug loop.