\input zb-basic
\input zb-ioport
\iteman{io-port 70640679}
\itemau{Roy, Suchismita; Chakrabarti, P. P.; Dasgupta, Pallab}
\itemti{Bounded delay timing analysis using Boolean satisfiability}
\itemso{VLSI Design, 295-302 (2007).}
\itemcc{}
\itemut{}
\itemli{http://doi.ieeecomputersociety.org/10.1109/VLSID.2007.47}
\end