ROVER: RTL Optimization via Verified E-Graph Rewriting.

Samuel Coward Theo Drane George A. Constantinides

Published in: CoRR (2024)

Keyphrases

rewriting systems
constrained optimization
optimization algorithm
directed graph
random walk
optimization problems
rewriting rules
optimization method
graph representation
graph model
vision system
optimization process
global optimization
path planning
directed acyclic graph
graph theory
graph theoretic