GEORGE - Generating Equivalent and Optimal RTL with Great Ease

Add to your list(s) Download to your calendar using vCal

• Sam Coward (Imperial College)
• Monday 07 February 2022, 13:00-14:00
• Teams (in the "CAS Seminars" team).

If you have a question about this talk, please contact George A Constantinides.

RTL development is hampered by low design space exploration and long debug times. High Level Synthesis and ML techniques are not tackling the nature of optimization RTL teams are doing in complex Graphics type IP. This talk provides initial results on: automatically transforming RTL , exploring the design space, how Intel GFx knowhow is exploited, associated formal verification and how the foundation of the system is using the latest e-graph technology.

This talk is part of the CAS Talks series.

This talk is included in these lists:

• Andrea Picciau's list
• CAS Talks
• Circuits and Systems Group: Internal Seminars
• Teams (in the "CAS Seminars" team)

Note that ex-directory lists are not shown.