EDP optimized synthesis scheme for Boolean read-once functions | IEEE Conference Publication | IEEE Xplore