Efficient equivalence checking with partitions and hierarchical cut-points | IEEE Conference Publication | IEEE Xplore