... Hillsboro, OR, USA,sivaram.gopalakrishnan@synopsys.comEckhard Grass Innovations for High Performance Microelectronics, Frankfurt(Oder), Brandenburg, Germany, grass@ihp-microelectronics.comKanupriya ... Partial Boolean Difference 36119.2.2 Total Boolean Difference 36219.2.3 Signal and Error Probabilities 36319.3 Proposed Error Propagation Model 36419.3.1 Gate Error Model 36419.3.2 Error ... signal and error prob-abilities of the gate inputs, and the gate error probability and produces the errorprobability at the output of the gate. The presented model uses Boolean differencecalculus...