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