CAD for Gigascale SoC Design and Verification Solutions. (23rd February 2012) - Hu, Shiyan; Li, Zhuo; Deng, Yangdong