Efficient equivalence checking with partitions and hierarchical cut-points.

Demos Anastasakis, Lisa McIlwain, Slawomir Pilarski

Browse the full DAC paper archive.