Login / Signup
A Testing Program and Pragma Combination Selection Based Framework for High-Level Synthesis Tool Pragma-Related Bug Detection.
He Jiang
Zun Wang
Zhide Zhou
Xiaochen Li
Shikai Guo
Weifeng Sun
Tao Zhang
Published in:
IEEE Trans. Software Eng. (2024)
Keyphrases
</>
high level synthesis
probabilistic model
test cases
software systems
image segmentation
pattern recognition
level set
computer aided