Correct high-level synthesis: A formal perspective
- Mendías, J.M.
- Hermida, R.
- Fernández, M.
Proceedings:
Proceedings -Design, Automation and Test in Europe, DATE
ISSN: 1530-1591
Year of publication: 1998
Pages: 977-978
Type: Conference paper