CAD for Gigascale SoC Design and Verification Solutions. (23rd February 2012)