FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines.

Xindi Zhang, Furong Ye, Zhihan Chen, Shaowei Cai

Browse the full FM paper archive.