TY  - RPRT
TI  - FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
AU  - Xindi Zhang
AU  - Furong Ye
AU  - Zhihan Chen
AU  - Shaowei Cai
PY  - 2025
UR  - https://arxiv.org/abs/2512.06627
ID  - 2512.06627
ER  -