的PSL当量为广电行动阻止

[Arturi]

您好所有，

我的Verilog测试有一个全局变量的计数的一些错误
， 在模拟。每当发现一个错误是在模拟的全局变量被递增。结束时的模拟，测试检查这个变量
， 以决定是否是在模拟的传球或失败。

正常工作的高密度检查
， 但没有的PSL断言。

我要如何增加这个全局变量时的PSL断言火灾？

上海广电与行动支持这一区块。是否有一定的PSL相当于？我读了一个不限成员名额（ ）建设
， 但仍不能确定如何使用它。

任何反馈意见是值得欢迎的。

干杯

 

[ljxpjpjljx]

您的设计是分层？

 

[Guest]

[No message]

 

[Arturi]

是的
， 先生！
因此
， 我使用Verilog层次探针利用网队无论身在何处
， 我的设计。