Using the probabilistic transfer matrix model as the major technology, this paper firstly separated the presentation and quantification of signal relations, and blocked the concurrent signals in fan-out by hybrid coding; secondly a method to construct the output reliability matrixes and output probability distributions of basic circuit components was proposed based on a virtual method; and then a method to achieve the reliability iterative propagation between the pre-stage and post-stage circuit
