Automating Datapath Verification and Bug Correction via Equality Saturation

Author(s):
Emiliano Morini, Samuel Coward, Rafael Barbalho, Theo Drane, George A. Constantinides