Accurate estimation of combinational circuit activity