Improving the Accuracy of Rule-based Equivalence Checking of High-level Desciptions by Identifying Potential Internal Equivalences Hiroaki Yoshida, Masahiro Fujita (Univ. of Tokyo)
Rule-based equivalence checking of high-level design descriptions proves the equivalence of two high-level design descri... [more]