Finding Bugs in RTL Descriptions: High-Level Synthesis to the Rescue
| Title: | Finding Bugs in RTL Descriptions: High-Level Synthesis to the Rescue |
|---|---|
| Authors: | Parchamdar, B.; Schaefer, B. Carrion |
| Source: | 2024 61st ACM/IEEE Design Automation Conference (DAC) Design Automation Conference (DAC), 2024 61st ACM/IEEE. :1-6 Jun, 2024 |
| Relation: | 2024 61st ACM/IEEE Design Automation Conference (DAC) |
| Database: | IEEE Xplore Digital Library |