Eugene Goldberg
Equivalence Checking of Circuits with Parameterized Specifications
ICST, 2005.
@inproceedings{SAT-2005-Goldberg, author = "Eugene Goldberg", booktitle = "{Proceedings of the Eighth International Conference on Theory and Applications of Satisfiability Testing}", doi = "10.1007/11499107_8", isbn = "3-540-26276-8", pages = "107--121", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Equivalence Checking of Circuits with Parameterized Specifications}", volume = 3569, year = 2005, }