Nathan Kitchen, Andreas Kuehlmann. Stimulus generation for constrained random simulation. In Georges G. E. Gielen, editor, 2007 International Conference on Computer-Aided Design (ICCAD 07), November 5-8, 2007, San Jose, CA, USA. pages 258-265, IEEE, 2007. [doi]
@inproceedings{KitchenK07,
title = {Stimulus generation for constrained random simulation},
author = {Nathan Kitchen and Andreas Kuehlmann},
year = {2007},
doi = {10.1145/1326073.1326127},
url = {http://doi.acm.org/10.1145/1326073.1326127},
researchr = {https://researchr.org/publication/KitchenK07},
cites = {0},
citedby = {0},
pages = {258-265},
booktitle = {2007 International Conference on Computer-Aided Design (ICCAD 07), November 5-8, 2007, San Jose, CA, USA},
editor = {Georges G. E. Gielen},
publisher = {IEEE},
isbn = {1-4244-1382-6},
}