文件名称:state_check
介绍说明－－下载内容均来自于网络，请自行研究使用
state check model with testbanch
(系统自动生成,下载前可以参看下载内容)
下载文件列表
state_check\automake.log
...........\DIA.DIA
...........\DIA.v
...........\DIA_TB.REG
...........\DIA_TB.V
...........\stateCadApp.rsp
...........\state_check.npl
...........\test.jhd
...........\test.vhd
...........\_import.dmo
...........\_sc_cmds
...........\_sc_cmds.rsp
...........\__projnav.log
state_check
...........\DIA.DIA
...........\DIA.v
...........\DIA_TB.REG
...........\DIA_TB.V
...........\stateCadApp.rsp
...........\state_check.npl
...........\test.jhd
...........\test.vhd
...........\_import.dmo
...........\_sc_cmds
...........\_sc_cmds.rsp
...........\__projnav.log
state_check