Tackling Register Aliasing Verification Challenges in Complex ASIC Design Author(s): Shan Yan, Jie Wu, and Jing Li Download