Tackling Register Aliasing Verification Challenges in Complex ASIC Design Author(s): Shan Yan, Jie Wu, and Jing Li Location: United States Year: 2017 Type: Paper Format: pdf Download