\input zb-basic
\input zb-ioport
\iteman{io-port 70107524}
\itemau{Arvind}
\itemti{Bluespec: A language for hardware design, simulation, synthesis and verification invited talk}
\itemso{MEMOCODE, 249- (2003).}
\itemcc{}
\itemut{}
\itemli{http://doi.ieeecomputersociety.org/10.1109/MEMOCODE.2003.10000}
\end