Taking one-to-one mappings for granted: Advanced logic design of encoder circuits | IEEE Conference Publication | IEEE Xplore