Power management verification experiences in Wireless SoCs. - Bhanu Kapoor; Alan Hunter 002; Prapanna Tiwari (DATE, 2011)