Symbolic model checking of Verilog programs with the propositional projection temporal logic
PANG Tao;DUAN Zhenhua;LIU Xiaofang
J4 . 2014, (2): 79 -84 .  DOI: 10.3969/j.issn.1001-2400.2014.02.013

Copyright © 2018 Journal of Xidian University, All Rights Reserved.
Powered by Beijing Magtech Co. Ltd