Bruno Schmitt Antunes
This paper proposes a fast SAT-based algorithm for recovering area applicable to an already technology mapped circuit. The algorithm considers a sequence of relatively small overlapping regions, called windows, in a mapped network and tries to improve the ...
ASSOC COMPUTING MACHINERY2018
