A technical paper titled “ROVER: RTL Optimization ... From the ROVER generated e-graph we select an efficient implementation. To accurately model the circuit area we develop a theoretical cost metric ...