A Testing Program and Pragma Combination Selection Based Framework for High-Level Synthesis Tool Pragma-Related Bug Detection
点击次数：
发布时间：2024-05-15
论文类型：期刊论文
论文编号：387551
发表时间：2024-04-18
发表刊物：IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
卷号：50
期号：4
页面范围：937-955
ISSN号：0098-5589
关键字：COMPILER BUGS; DESIGN; TRANSLATION VALIDATION; VERIFICATION
赞 
