Date of Publication:2024-04-24
Journal:IEEE Transactions on Software Engineering
Page Number:1-18
ISSN:0098-5589
Xiaochen Li
Click:
The Last Update Time:..
Paper Publications
A Testing Program and Pragma Combination Selection Based Framework for High-Level Synthesis Tool Pragma-Related Bug Detection
Release Time:2024-05-15 Hits:
Address: No.2 Linggong Road, Ganjingzi District, Dalian City, Liaoning Province, P.R.C., 116024