Demos Anastasakis, Lisa McIlwain, Slawomir Pilarski
Efficient equivalence checking with partitions and hierarchical cut-points
DAC, 2004.
@inproceedings{DAC-2004-AnastasakisMP,
author = "Demos Anastasakis and Lisa McIlwain and Slawomir Pilarski",
booktitle = "{Proceedings of the 41st Design Automation Conference}",
doi = "10.1145/996566.996714",
isbn = "1-58113-828-8",
pages = "539--542",
publisher = "{ACM}",
title = "{Efficient equivalence checking with partitions and hierarchical cut-points}",
year = 2004,
}