Hyung Ki Lee, Dong Sam Ha. New methods of improving parallel fault simulation in synchronous sequential circuits. In Michael R. Lightner, Jochen A. G. Jess, editors, Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993. pages 10-17, IEEE Computer Society, 1993. [doi]