Ghiath Al Sammane, Dominique Borrione, Remy Chevallier. Verification of behavioral descriptions by combining symbolic simulation and automatic reasoning. In John Lach, Gang Qu, Yehea I. Ismail, editors, Proceedings of the 15th ACM Great Lakes Symposium on VLSI 2005, Chicago, Illinois, USA, April 17-19, 2005. pages 260-263, ACM, 2005. [doi]
@inproceedings{SammaneBC05,
title = {Verification of behavioral descriptions by combining symbolic simulation and automatic reasoning},
author = {Ghiath Al Sammane and Dominique Borrione and Remy Chevallier},
year = {2005},
doi = {10.1145/1057661.1057724},
url = {http://doi.acm.org/10.1145/1057661.1057724},
researchr = {https://researchr.org/publication/SammaneBC05},
cites = {0},
citedby = {0},
pages = {260-263},
booktitle = {Proceedings of the 15th ACM Great Lakes Symposium on VLSI 2005, Chicago, Illinois, USA, April 17-19, 2005},
editor = {John Lach and Gang Qu and Yehea I. Ismail},
publisher = {ACM},
isbn = {1-59593-057-4},
}