"xsimv" provides a graphical method for viewing simulation
output. It is available with the vis-1.1 release.

Before invoking xsimv, please modify the first line of the file
"xsimv" and put the complete path name for "expectk".

xsimv is invoked by the command 
	"xsimv <sim-file>" 
where sim-file is a file produced by the vis command 
	"simulate -n num -o sim-file"
When xsimv executes, it comes up with a window with 4 buttons in it,
GO, ReDraw, Save and Quit. At the same time it produces a 
file, "strk.simv", with the signal names in it. For example, the 
"strk.simv" might read:

sensor.rand_choice
timer.rand_choice
car_present
farm_light
hwy_light
timer.state

If only a subset of these names are required the user can edit 
this file and comment out a line using "#". For example,

#sensor.rand_choice
#timer.rand_choice
car_present
farm_light
hwy_light
timer.state

will cause the first two signals' simulation to be not displayed.

Pushing GO or ReDraw then produces a new window with the simulation
results shown where time increases from left to right.  The signal
value names not commented out are shown vertically, one for each
row. The "edit strk.simv" and REDRAW sequence can be iterated.