Release Time:2019-03-13 Hits:
First Author: 王洁
Disigner of the Invention: 柳继委
Authorization Number: ZL 2016 1 0341467.1
Prev One:一种面向Verilog HDL设计的故障注入方法
Next One:基于XML中间模型以及缺陷模式匹配的静态检测系统