Automated approach to Register Design and Verification of complex SOC

Author(s):
Ballori Banerjee, Subashini Rajan, and Silpa Naidu