Vwsim-commands
VWSIM commands.
VWSIM provides a set of interactive commands that can be issued at
the ACL2 prompt to analyze and visualize circuit simulations.
Subtopics
- Vwsim-command
- Perform simulation of a circuit.
- Vw-output-command
- Access and save simulation results.
- Vw-plot-command
- Plot simulation results.
- Vw-output-all-command
- Access and save all simulation results.
- Vw-assoc-command
- Lookup variable in simulation results.
