Parallel Dynamic Partitioning for Datapath Combinational Equivalence Checking.

Shuai Zhou, Weikang Zhang, Xindi Zhang, Zite Jiang, Haihang You, Shaowei Cai

Browse the full DAC paper archive.