\input zb-basic \input zb-ioport \iteman{io-port 70490694} \itemau{Alizadeh, Bijan} \itemti{Word level functional coverage computation} \itemso{ASP-DAC, 7-12 (2006).} \itemcc{} \itemut{} \itemli{doi:10.1145/1118299.1118304} \end