Probabilistic Analysis For Modeling And Simulating Digital Circuits.