Verifying a Static RAM Design by Logic Simulation
Randal E. Bryant · The MIT Press eBooks · 1988
A logic simulator can prove the directness of a digital circuit if it can be shown that only circuits implementing the system specification will produce a particular response to a sequence of simulation commands.