Theo Drane
- Automating Constraint-Aware Datapath Optimization using E-Graphs
2023/03/03 by Samuel Coward, Coward, Samuel, George A. Constantinides +3 · 5 citations
Computer Science · Engineering · #Embedded Systems Design Techniques #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Low-power high-performance VLSI design #Parallel Computing and Optimization Techniques
- Automatic Datapath Optimization using E-Graphs
2022/04/25 by Samuel Coward, Coward, Samuel, George A. Constantinides +3 · 4 citations
Engineering · Computer Science · #Low-power high-performance VLSI design #VLSI and FPGA Design Techniques #VLSI and Analog Circuit Testing
- SEER: Super-Optimization Explorer for HLS using E-graph Rewriting with MLIR
2023/08/15 by Jianyi Cheng, Samuel Coward, Cheng, Jianyi +7 · 4 citations
Computer Science · Engineering · #Parallel Computing and Optimization Techniques #Embedded Systems Design Techniques #Ferroelectric and Negative Capacitance Devices
- Datapath Verification via Word-Level E-Graph Rewriting
2023/08/01 by Samuel Coward, Coward, Samuel, Emiliano Morini +7 · 3 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Hardware Architecture (cs.AR) #Logic in Computer Science (cs.LO) #Model-Driven Software Engineering Techniques #VLSI and Analog Circuit Testing
- Combining E-Graphs with Abstract Interpretation
2022/05/30 by Samuel Coward, George A. Constantinides, Coward, Samuel +3 · 2 citations
Computer Science · #Software Engineering Research #Software Testing and Debugging Techniques #Formal Methods in Verification
- ROVER: RTL Optimization via Verified E-Graph Rewriting
2024/06/18 by Samuel Coward, Theo Drane, Coward, Samuel +3 · 2 citations
Computer Science · #Semantic Web and Ontologies #Graph Theory and Algorithms #Advanced Database Systems and Queries