A syntax-directed logic simulator.

Charles M. Allen, Donald D. Givone, William M. Horner, Robert W. Snelsire

Browse the full DAC paper archive.