Multilevel logic minimization using functional don't cares | IEEE Conference Publication | IEEE Xplore