A Survey of Verification for High-level Synthesis

Autor:	Sikun Li, Haitao Yang, Kang Wang, Yun Kang, Yongyang Hu, Chen Guilin, Jian Hu, Wang Guanwu
Rok vydání:	2021
Předmět:	Computer science High-level synthesis Computer Graphics and Computer-Aided Design Software Reliability engineering
Zdroj:	Journal of Computer-Aided Design & Computer Graphics. 33:287-297
ISSN:	1003-9775
DOI:	10.3724/sp.j.1089.2021.18394
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::b4b84e5d4ec990ed960357a235d11c8f https://doi.org/10.3724/sp.j.1089.2021.18394 Zobrazit plný text záznamu