Equivalence Checking of Datapaths Based on Canonical Arithmetic Expressions.

Zheng Zhou, Wayne P. Burleson

Browse the full DAC paper archive.