In-Ho Moon, Per Bjesse, Carl Pixley
A compositional approach to the combination of combinational and sequential equivalence checking of circuits without known reset states
DATE, 2007.
@inproceedings{DATE-2007-MoonBP,
author = "In-Ho Moon and Per Bjesse and Carl Pixley",
booktitle = "{Proceedings of the 11th Conference on Design, Automation and Test in Europe}",
doi = "10.1145/1266366.1266619",
isbn = "978-3-9810801-2-4",
pages = "1170--1175",
publisher = "{ACM}",
title = "{A compositional approach to the combination of combinational and sequential equivalence checking of circuits without known reset states}",
year = 2007,
}