Enter the svtv-chase$ read-eval-print loop without first defining an SVTV.
(svtv-chase-defsvtv$ ;; entire form used to define an SVTV. May also be DEFSVTV$. (defsvtv$-phasewise ...) :env env)
See svtv-chase$. This version is useful in cases where a user is debugging the signal settings of an SVTV. It skips the composition of the cycle FSM and pipeline stages, which on large designs can greatly shorten the debug loop.