\input zb-basic
\input zb-ioport
\iteman{io-port 70068740}
\itemau{Qiang, Qiang; Saab, Daniel G.; Abraham, Jacob A.}
\itemti{An emulation model for sequential ATPG-based bounded model checking}
\itemso{FPL, 469-474 (2005).}
\itemcc{}
\itemut{}
\itemli{}
\end