| Author |
Message |
Arturi
Joined: 13 Sep 2006
Posts: 51
Helped: 4
|
 30 Jun 2009 22:04 french equivalent of sva |
|
|
|
|
Hello all,
my verilog testbench has a global variable that counts the number of errors during a simulation. Every time an error is detected during the simulation the global variable gets incremented. At the end of the simulation, the testbench checks this variable to decide if the simulation is a PASS or a FAIL.
This works fine for HDL checkers but not for PSL assertions.
How can I increment this global variable when a PSL assertion fires?
SVA supports this with action blocks. Does PSL has something equivalent? I read something about a ended() construct but still not sure how to use it.
Any feedback is welcome.
cheers
|
|
| Back to top |
|
 |
Google
AdSense
|
30 Jun 2009 22:04 Ads |
|
|
|
|
|
|
| Back to top |
|
|
ljxpjpjljx
Joined: 05 May 2008
Posts: 535
Helped: 12
Location: Shang Hai
|
01 Jul 2009 3:10 Re: PSL equivalent for SVA action block |
|
|
|
|
| your design is hierarchical?
|
|
| Back to top |
|
|
Arturi
Joined: 13 Sep 2006
Posts: 51
Helped: 4
|
01 Jul 2009 15:29 Re: PSL equivalent for SVA action block |
|
|
|
|
Yes sir!
So I use verilog hierarchical probes to tap the nets no matter where I am in the design.
|
|
| Back to top |
|
|
