Fuzzing HLS Bugs
The following is a table of all the unique failing test cases that were found in the high-level synthesis tools.
| Tool | Bug Type | Status | Report |
|---|---|---|---|
| Vivado | Miscompilation | reported, confirmed | link |
| Vivado | Miscompilation | reported | link |
| LegUp | Crash | email report, confirmed | link |
| LegUp | Miscompilation | email report, confirmed | link |
| Intel | Miscompilation | reported | link |
| Bambu | Miscompilation | reported, confirmed, fixed | link |
| Bambu | Miscompilation | reported, confirmed, workaround | link |
| LegUp | Crash | link | |
| Catapult C | Miscompilation | link |