Synthesis of critical ASICs with embedded fully concurrent fault resilience | IEEE Conference Publication | IEEE Xplore