PHIFACT-a Boolean preprocessor for multi-level logic synthesis | IEEE Conference Publication | IEEE Xplore