\input zb-basic
\input zb-ioport
\iteman{io-port 70180210}
\itemau{Jiang, Tai-Ying; Liu, Chien-Nan Jimmy; Jou, Jing-Yang}
\itemti{Effective error diagnosis for RTL designs in hdls}
\itemso{Asian Test Symposium, 362-367 (2002).}
\itemcc{}
\itemut{}
\itemli{http://doi.ieeecomputersociety.org/10.1109/ATS.2002.1181738}
\end