Verilog, PSL or SystemVerilog of OVL?

[davyzhu]

psl vs systemverilog

Hi all,

I am a Verilog user.
I want to use assertion based verification in my project. And I found OVL(Open Verification library).

Do you think which one of the OVL is better? Verilog, PSL or SystemVerilog?

And I heard SystemVerilog have the ABV feature? Why OVL supply ABV in SystemVerilog again?

Best regards,
Davy

 

[yuenkit]

systemverilog ovl

systemverilog use some features in vera/openvera/nativetestbench, so that it become more powerful

 

[davyzhu]

psl vs system verilog

Hi,

What's vera/openvera/nativetestbench's difference?

Best regards,
Davy