"Equivalence verification of polynomial datapaths with fixed-size ..."

Namrata Shekhar et al. (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics