Unit delay simulation with the inversion algorithm. - William J. Schilp; Peter M. Maurer (ICCAD, 1996)

Software Bit-Slicing: A Technique for Improving Simulation Performance. - Peter M. Maurer; William J. Schilp (DATE, 1999)

State-Machine Based Logic Simulation Using Three Logic Values. - Peter M. Maurer; William J. Schilp (VLSI Design, 2000)