Browsing Department of Computer Science & Engineering by Subject "C to RTL Equivalence Checking"

Browsing Department of Computer Science & Engineering by Subject "C to RTL Equivalence Checking"

Sort by: Order: Results:

  • Adem, Mohammed Abderehman (2022)
    High-level synthesis (HLS) is the process of translating an abstract behavioral specification (usually written in C, C++) into a register transfer level (RTL) that realizes the given behaviour. The HLS is widely used in ...

Search


Browse

My Account