Logic decomposition algorithms for the timing optimization of multi-level logic | IEEE Conference Publication | IEEE Xplore