Reliability evaluation of combinational logic circuits by symbolic simulation