\input zb-basic
\input zb-ioport
\iteman{io-port 71018854}
\itemau{Abdel-Khalek, Rawan; Parikh, Ritesh; Deorio, Andrew; Bertacco, Valeria}
\itemti{Functional correctness for CMP interconnects}
\itemso{ICCD, 352-359 (2011).}
\itemcc{}
\itemut{}
\itemli{doi:10.1109/ICCD.2011.6081423}
\end