Improving the accuracy of rule-based equivalence checking of system-level design descriptions by identifying potential internal