Automating Datapath Verification and Bug Correction via Equality Saturation

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