Alan Mishchenko, Michael L. Case, Robert K. Brayton, Stephen Jang. Scalable and scalably-verifiable sequential synthesis. In Sani R. Nassif, Jaijeet S. Roychowdhury, editors, 2008 International Conference on Computer-Aided Design (ICCAD 08), November 10-13, 2008, San Jose, CA, USA. pages 234-241, IEEE, 2008. [doi]
@inproceedings{MishchenkoCBJ08,
title = {Scalable and scalably-verifiable sequential synthesis},
author = {Alan Mishchenko and Michael L. Case and Robert K. Brayton and Stephen Jang},
year = {2008},
doi = {10.1145/1509456.1509516},
url = {http://doi.acm.org/10.1145/1509456.1509516},
researchr = {https://researchr.org/publication/MishchenkoCBJ08},
cites = {0},
citedby = {0},
pages = {234-241},
booktitle = {2008 International Conference on Computer-Aided Design (ICCAD 08), November 10-13, 2008, San Jose, CA, USA},
editor = {Sani R. Nassif and Jaijeet S. Roychowdhury},
publisher = {IEEE},
isbn = {978-1-4244-2820-5},
}