|
|
|---|
|
|
|
|---|
How to build the VWSIM simulator.
Note for new ACL2 users: the VWSIM simulator is written in ACL2. If you are unfamiliar with ACL2, please check out ACL2 for more information. The instructions to download and build ACL2 can be found here. Once ACL2 has been installed on your system, please follow the steps below.
To build the simulator, navigate to the VWSIM directory in the
ACL2 books. Then, certify the book
For example, navigate to the VWSIM directory, and run the following command:
[ACL2]/books/build/cert.pl top
where [ACL2] is the directory where ACL2 is installed.
Start ACL2 and run the following form at the prompt:
(ld "driver.lsp")
That's it! VWSIM should be loaded and ready to simulate circuits. Please go to vwsim-users-guide for information on how to use the simulator.