Rule-Based Approaches for Equivalence Checking of SpecC Programs | IEEE Conference Publication | IEEE Xplore