Integrating Exact Simulation into Sweeping for Datapath Combinational Equivalence Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Zhihan Chen, Xindi Zhang, Yuhang Qian, Qiang Xu 0001, Shaowei Cai 0001. Integrating Exact Simulation into Sweeping for Datapath Combinational Equivalence Checking. In IEEE/ACM International Conference on Computer Aided Design, ICCAD 2023, San Francisco, CA, USA, October 28 - Nov. 2, 2023. pages 1-9, IEEE, 2023. [doi]

This author has not been identified. Look up 'Zhihan Chen' in GoogleThis author has not been identified. Look up 'Xindi Zhang' in GoogleThis author has not been identified. Look up 'Yuhang Qian' in GoogleThis author has not been identified. Look up 'Qiang Xu 0001' in GoogleThis author has not been identified. Look up 'Shaowei Cai 0001' in Google

runs on WebDSL