PSL断言中的vunit如何使用？

wangyingwei · 发表于 2010-1-22 14:16:56

您需要登录才可以下载或查看，没有账号？注册

x

请问下PSL断言中的vunit如何使用？查的资料大部分关于语法的，单独将断言写入一个vunit后，这个vunit是放在一个新的module里吗？
请用过PSL 的高手指点下

wangyingwei · 发表于 2010-1-22 14:25:43

在NC中仿真是不是还要添加别的编译参数？

wangyingwei · 发表于 2010-1-22 16:54:10

问题解决了。
方法是把vunit单独写在一个文件中，文件的后缀名字为 .psl
在用NC编译时，在ncverilog 后面添加参数 +assert +propfile+assertion_file.psl
就OK了

[求助] PSL断言中的vunit如何使用？