A Method to Reuse RTL Verification Tests to Validate Cycle Accurate Model. - Manish Baphna; Anchal Jain; Ashish Mathur (ISED, 2011)