Correct high-level synthesis: A formal perspective
- Mendías, J.M.
- Hermida, R.
- Fernández, M.
Actas:
Proceedings -Design, Automation and Test in Europe, DATE
ISSN: 1530-1591
Año de publicación: 1998
Páginas: 977-978
Tipo: Aportación congreso