Don't care minimization of multi-level sequential logic networks | IEEE Conference Publication | IEEE Xplore