文件名称:SystemVerilogAssertion
介绍说明--下载内容均来自于网络,请自行研究使用
SystemVerilog Assertion的应用例子。例子均在Synopsys VCS环境下编译通过。-The uploaded files are examples of Systemverilog Assertions. All of the codes are compiled successfully in Synopsys VCS environment.
(系统自动生成,下载前可以参看下载内容)
下载文件列表
SystemVerilogAssertion\basic.v
......................\basic.v~
......................\compile
......................\compile.log
......................\run
......................\run.log
......................\vcs.key
SystemVerilogAssertion
......................\basic.v~
......................\compile
......................\compile.log
......................\run
......................\run.log
......................\vcs.key
SystemVerilogAssertion