Ultimate: A hardware logic simulation engine. - M. E. Glazier; Anthony P. Ambler (DAC, 1984)