DFT quantitative analysis method based on statistical model checking
Sen QIAO, Zhiqiu HUANG, Jinyong WANG, Weijian WAN
Systems Engineering and Electronics . 2020, (2): 480 -488 .  DOI: 10.3969/j.issn.1001-506X.2020.02.30