Arturi
Member level 2
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
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
