[comp.lsi.cad] Seeking Gate-level simulator

lethin@wheaties.ai.mit.edu (Richard A. Lethin) (04/09/89)

Does a decent public domain gate-level simulator written in C or C++)
exist?  Could someone point me at it?

I've got an architectural simulator that currently generates zillions
of lines of test vectors for our processor, which we use to drive our
gate level-simulator (Tanner's GATESIM). The principal bottleneck in
this process is the vector IO time...  If I had source for a gate
simulator, I could interface it to the architectural simulator, run 
the two simultaneously, with no IO (paging might be a problem...)

EMAIL replies appreciated, I will post a summary.

lethin@wheaties.ai.mit.edu