VWSIM output formats.
VWSIM saves all values produced during a simulation; these values may be used for subsequent processing such a analysis and/or printing. The saved results can be processed in the following ways (see below). An advanced user of VWSIM can access the entire trace of simulation values and write programs to explore the data and even control the simulation as it advances; this advanced mechanism is not documented presently (within this collection of notes), but can be explored by consulting the VWSIM source code.
A VWSIM user interacts with VWSIM through a (Lisp-style) command-line, read-eval-print loop. Commands can be given to request the various output.
The user-requested values are written to a file in CSV format.
The user-requested values are returned in a LISP-style association (key-value pair) list. The values can be accessed interactively by name using assoc-equal.
An entire simulation state is saved to a file, which can be provided to VWSIM at a later time so as to resume the saved simulation.
The user-requested values can be plotted directly from the ACL2 loop using gnuplot.