Systematic approximate logic optimization using don't care conditions | IEEE Conference Publication | IEEE Xplore