ISSN 1000-1239 CN 11-1777/TP
Identifying Inactive Nets in Function Mode of Circuits
Cui Xiaotong, Zou Minhui, Wu Kaijie
Journal of Computer Research and Development . 2017, (1): 163 -171 .  DOI: 10.7544/issn1000-1239.2017.20150937