Hestia: An Efficient Cross-Level Debugger for High-Level Synthesis
High-level synthesis (HLS) offers an opportunity to design hardware at the software level,
which automatically trans-forms high-level specifications into RTL designs. However, HLS …
which automatically trans-forms high-level specifications into RTL designs. However, HLS …
DiffLo: A Graph-based Method for Functional Discrepancy Localization in High-level Synthesis
High-level synthesis (HLS) is becoming increasingly popular in hardware design. However,
since current HLS tools are not fully verified, the semantics of a desired high-level design …
since current HLS tools are not fully verified, the semantics of a desired high-level design …