Equivalence Checking on Higher-Level Design Descriptions