\input zb-basic \input zb-ioport \iteman{io-port 70691475} \itemau{Kapoor, B.; Hunter, A.; Tiwari, P.} \itemti{Power management verification experiences in wireless socs} \itemso{DATE, 507-508 (2011).} \itemcc{} \itemut{} \itemli{http://ieeexplore.ieee.org/xpls/abs\_all.jsp?arnumber=5763089} \end