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 |
καταχωρήστε σχόλιο πρώτοι!