McMAP: a fast technology mapping procedure for multi-level logic synthesis | IEEE Conference Publication | IEEE Xplore