Ross Daly, Caleb Donovick, Jackson Melchert, Rajsekhar Setaluri, Nestan Tsiskaridze, Priyanka Raina, Clark W. Barrett, Pat Hanrahan. Synthesizing Instruction Selection Rewrite Rules from RTL using SMT. In FMCAD. pages 139-150, 2022. [doi]
Abstract is missing.