\input zb-basic
\input zb-ioport
\iteman{io-port 71011419}
\itemau{Lee, Hyung Ki; Ha, Dong Sam}
\itemti{New methods of improving parallel fault simulation in synchronous sequential circuits}
\itemso{ICCAD, 10-17 (1993).}
\itemcc{}
\itemut{}
\itemli{doi:10.1145/259794.259797}
\end