The VWSIM User's Guide.
VWSIM is an interactive circuit simulator. After starting a VWSIM session, the user interacts with the simulator by issuing commands at the ACL2 prompt. Navigate through the subtopics below to learn about using the simulator.
