research
∙
08/15/2023
SEER: Super-Optimization Explorer for HLS using E-graph Rewriting with MLIR
High-level synthesis (HLS) is a process that automatically translates a ...
share
research
∙
08/01/2023
Datapath Verification via Word-Level E-Graph Rewriting
Formal verification of datapath circuits is challenging as they are subj...
research
∙
03/03/2023
Automating Constraint-Aware Datapath Optimization using E-Graphs
Numerical hardware design requires aggressive optimization, where design...
research
∙
09/07/2022
Small Proofs from Congruence Closure
Satisfiability Modulo Theory (SMT) solvers and equality saturation engin...
research
∙
05/30/2022
Combining E-Graphs with Abstract Interpretation
E-graphs are a data structure that compactly represents equivalent expre...
research
∙
05/19/2022
Automatic Generation of Complete Polynomial Interpolation Hardware Design Space
Hardware implementations of complex functions regularly deploy piecewise...
research
∙
04/25/2022
Automatic Datapath Optimization using E-Graphs
Manual optimization of Register Transfer Level (RTL) datapath is commonp...
research
∙
03/17/2022
Abstract Interpretation on E-Graphs
Recent e-graph applications have typically considered concrete semantics...
research
∙
10/02/2020