Tackling Register Aliasing Verification Challenges in Complex ASIC Design

Author(s):
Shan Yan, Jie Wu, and Jing Li