MIXSyn: An efficient logic synthesis methodology for mixed XOR-AND/OR dominated circuits | IEEE Conference Publication | IEEE Xplore