Run a single phase of svl-run
(svl-run-phase modname inputs delayed-env modules) → (mv out-vals next-delayed-env)
The svl-run function operates on phases as defined by the input bindings alits (input simulation pattern). SVL-RUN-PHASE is the function to run each each phase for each module.
'inputs' arguments should be a list of the concrete (for execution) or variables (for proofs). The order of inputs are determined by their order in the SVL-design entry.
'delayed-env' is a special structure for state holding elements. If the user is dealing with sequential circuit designs, then it is recommended to use svl-run instead. svl-run can be used for combinational circuits as well. If you would like to use svl-run-phase on combinational circuits, then you can pass '(nil nil) or (svl::make-svl-env) for delayed-env. This designates empty state.
svl-run-phase might be too slow to use for proofs. You can use svl-run-phase-wog instead, which has the same arguments but no guards.