Reducing TMR overhead by combining approximate circuit, transistor topology and input permutation approaches | IEEE Conference Publication | IEEE Xplore