A Testing Program and Pragma Combination Selection Based Framework for High-Level Synthesis Tool Pragma-Related Bug Detection
Release Time:2025-01-09 Hits:
Indexed by: Journal Papers
Document Code: 387551
Date of Publication: 2024-04-18
Journal: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Volume: 50
Issue: 4
Page Number: 937-955
ISSN: 0098-5589
Key Words: COMPILER BUGS; DESIGN; TRANSLATION VALIDATION; VERIFICATION