A Compositional Approach for Equivalence Checking of Sequential Circuits with Unknown Reset State and Overlapping Partitions

@inproceedings{Bischoff2007ACA,
  title={A Compositional Approach for Equivalence Checking of Sequential Circuits with Unknown Reset State and Overlapping Partitions},
  author={Gabriel P. Bischoff and Karl S. Brace and Gianpiero Cabodi},
  booktitle={EUROCAST},
  year={2007}
}