Matrix-valued EXOR-TDDs in decomposition of switching functions | IEEE Conference Publication | IEEE Xplore