MORE: an alternative implementation of BDD packages by multi-operand synthesis | IEEE Conference Publication | IEEE Xplore