Lee, Maurer, n.d.. Two new techniques for compiled multi-delay logic simulation, in: . IEEE Comput. Soc. Press.. https://doi.org/10.1109/dac.1992.227767