Synthesizing Instruction Selection Rewrite Rules from RTL using SMT.

Ross Daly, Caleb Donovick, Jackson Melchert, Rajsekhar Setaluri, Nestan Tsiskaridze, Priyanka Raina, Clark W. Barrett, Pat Hanrahan

Browse the full FMCAD paper archive.