Automating Datapath Verification and Bug Correction via Equality Saturation Author(s): Emiliano Morini, Samuel Coward, Rafael Barbalho, Theo Drane, George A. Constantinides Download