\input zb-basic
\input zb-ioport
\iteman{io-port 70391474}
\itemau{Jolly, Simon; Parashkevov, Atanas N.; Mcdougall, Tim}
\itemti{Automated equivalence checking of switch level circuits}
\itemso{DAC, 299-304 (2002).}
\itemcc{}
\itemut{}
\itemli{doi:10.1145/513918.513996}
\end