Resource Sharing for Verified High-Level Synthesis

Autor:	Michalis Pardalos, Yann Herklotz, John Wickerson
Rok vydání:	2022
Zdroj:	2022 IEEE 30th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM).
DOI:	10.1109/fccm53951.2022.9786208
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::7a61087f912a6c145fca78b0e516cdbb https://doi.org/10.1109/fccm53951.2022.9786208 Zobrazit plný text záznamu