Current position: Home >> Scientific Research >> Paper Publications

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

Prev One:RAT-NHP: Radio Access Technology Selection Basedon N-hop Prediction

Next One:基于双层Stackelberg博弈的MEC计算卸载方案