Automated approach to Register Design and Verification of complex SOC Author(s): Ballori Banerjee, Subashini Rajan, and Silpa Naidu Download