Academic Journal
A Testing Program and Pragma Combination Selection Based Framework for High-Level Synthesis Tool Pragma-Related Bug Detection
| Τίτλος: | A Testing Program and Pragma Combination Selection Based Framework for High-Level Synthesis Tool Pragma-Related Bug Detection |
|---|---|
| Συγγραφείς: | Jiang, H., Wang, Z., Zhou, Z., Li, X., Guo, S., Sun, W., Zhang, T. |
| Πηγή: | IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 50(4):937-955 Apr, 2024 |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
| ISSN: | 00985589 19393520 23263881 |
|---|---|
| DOI: | 10.1109/TSE.2024.3368553 |