Looking for Digital Simulator?

http://www.mit.edu/~ara/ds.html