The IKOS simulatom accelerator arrived Oct 3. has been installed and, to the
best of my knowledge, is working. The unit is a general purpose digital
simulation accelerator which, if one has or makes the conversion libraries, can
work with gate array and standard cell libraries from VTI, LSI Logic, Fujitsu,
Gould/AMI, National Semiconductor, Mitsubishi, NCR, NEC, OKI, Toshiba, Texas
Instruments, 	Thomson-Mostek, Intel ...     It expects a Futurenet net list. 
We have software from IKOS to convert VTI .fns and .hns to this format and we
have the IKOS software to use these VTI libraries:  VSC100, VGT100. 

	Use with other libraries requires that one buy or build the files 
required to describe the timing and interconnect of the target library.  

Dave, Sam and I took a 2 day introductory course at IKOS on Oct. 10,11 
and now know how to get started.
	
	The unit is in the CAD lab just off the System 3D lab area.  
Expected first use will be Sam determining the vector coverage of the GOBOT 
test.  Second use is expected to be by Dave on the Clippy chip or on the 
diagnosis of the Zippy.