Dominique Borrione, Julia Dushina, Laurence Pierre. Formalization of Finite State Machines with Data Path for the Verification of High-Level Synthesis. In Proceedings of the 11th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 1998, Rio de Janiero, Brazil, September 30 - October 2, 1998. pages 99-102, IEEE Computer Society, 1998. [doi]
@inproceedings{BorrioneDP98,
title = {Formalization of Finite State Machines with Data Path for the Verification of High-Level Synthesis},
author = {Dominique Borrione and Julia Dushina and Laurence Pierre},
year = {1998},
url = {https://dl.acm.org/doi/10.5555/552517.829443},
researchr = {https://researchr.org/publication/BorrioneDP98},
cites = {0},
citedby = {0},
pages = {99-102},
booktitle = {Proceedings of the 11th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 1998, Rio de Janiero, Brazil, September 30 - October 2, 1998},
publisher = {IEEE Computer Society},
isbn = {0-8186-8704-5},
}