Enhancing RTL Optimization through Verified E-Graph Rewriting (Collaboration between Intel and Imperial College London)
Researchers from both Intel Corporation and Imperial College London collaborated on a technical paper titled “ROVER: RTL Optimization via Verified…