Coward, S., Drane, T., & Constantinides, G. A. (2024). ROVER: RTL Optimization via Verified E-Graph Rewriting.
Chicago Style (17th ed.) CitationCoward, Samuel, Theo Drane, and George A. Constantinides. ROVER: RTL Optimization via Verified E-Graph Rewriting. 2024.
MLA (9th ed.) CitationCoward, Samuel, et al. ROVER: RTL Optimization via Verified E-Graph Rewriting. 2024.
Warning: These citations may not always be 100% accurate.