Logic mapping on a microprocessor | IEEE Conference Publication | IEEE Xplore