TY  - RPRT
TI  - Datapath Combinational Equivalence Checking With Hybrid Sweeping Engines and Parallelization
AU  - Zhihan Chen
AU  - Xindi Zhang
AU  - Yuhang Qian
AU  - Shaowei Cai
PY  - 2024
DO  - 10.1109/iccad57390.2023.10323876
UR  - https://arxiv.org/abs/2501.14740
ID  - 2501.14740
ER  -