\input zb-basic
\input zb-ioport
\iteman{io-port 70688159}
\itemau{Barcelo, Salvador; Gili, X.; Bota, Sebasti\`an A.; Segura, Jaume}
\itemti{An efficient and scalable STA tool with direct path estimation and exhaustive sensitization vector exploration for optimal delay computation}
\itemso{DATE, 1602-1607 (2011).}
\itemcc{}
\itemut{}
\itemli{http://ieeexplore.ieee.org/xpls/abs\_all.jsp?arnumber=5763254}
\end