V. K. Pisini, Sofiène Tahar, Paul Curzon, Otmane Aït Mohamed, Xiaoyu Song. Formal hardware verification by integrating HOL and MDG. In Majid Sarrafzadeh, Prithviraj Banerjee, Kaushik Roy, editors, Proceedings of the 10th ACM Great Lakes Symposium on VLSI 2000, Chicago, Illinois, USA, March 2-4, 2000. pages 23-28, ACM, 2000. [doi]
@inproceedings{PisiniTCMS00,
title = {Formal hardware verification by integrating HOL and MDG},
author = {V. K. Pisini and Sofiène Tahar and Paul Curzon and Otmane Aït Mohamed and Xiaoyu Song},
year = {2000},
doi = {10.1145/330855.330947},
url = {http://doi.acm.org/10.1145/330855.330947},
researchr = {https://researchr.org/publication/PisiniTCMS00},
cites = {0},
citedby = {0},
pages = {23-28},
booktitle = {Proceedings of the 10th ACM Great Lakes Symposium on VLSI 2000, Chicago, Illinois, USA, March 2-4, 2000},
editor = {Majid Sarrafzadeh and Prithviraj Banerjee and Kaushik Roy},
publisher = {ACM},
isbn = {1-58113-251-4},
}