Area and search space control for technology mapping | IEEE Conference Publication | IEEE Xplore