• Top
  • Documentation
  • Books
  • Boolean-reasoning
  • Projects
  • Debugging
  • Std
  • Proof-automation
  • Macro-libraries
  • ACL2
  • Interfacing-tools
  • Hardware-verification
    • Gl
    • Esim
    • Vl2014
    • Sv
    • Fgl
    • Vwsim
      • Vwsim-users-guide
        • Vwsim-tutorial
        • Vwsim-output
        • Vwsim-input
        • Vwsim-build-and-setup
        • Vwsim-commands
    • Vl
    • X86isa
    • Svl
    • Rtl
  • Software-verification
  • Math
  • Testing-utilities

• Vwsim

Vwsim-users-guide

The VWSIM User's Guide.

Overview

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.

Subtopics

Vwsim-tutorial

VWSIM tutorial.

Vwsim-output

VWSIM output formats.

Vwsim-input

VWSIM input formats.

Vwsim-build-and-setup

How to build the VWSIM simulator.

Vwsim-commands

VWSIM commands.