Tools that Support "System Verilog Assertions"...?

[rakesh_aadhimoolam]

Hi .....

I would like to know what the tools that support Assertion based Verification using System Verilog in Windows platform....

Thanks

 

[mssajwan]

I think cadence has the support but still their SV support is not mature but still you can check with them.
You can check with synopsys as well they have a wonderful support for SV.

 

[vinod_cheedella]

Re: Tools that Support "System Verilog Assertions"

synopsys support sv, including assertions also,
but i don't think so, VCS works over windows plotform...

 

[sanjay11]

Re: Tools that Support "System Verilog Assertions"

I think cadence simultors donot work on windows.

Questa by mentor graphics supports system verilog complete LRM including assertions. I think it runs on windows platform too.

 

[salma ali bakr]

Re: Tools that Support "System Verilog Assertions"

Mentor Graphics, Synopsys support most SystemVerilog constructs. Cadence supports all language constructs required for both design teams and verification teams.

read this article, it's quite interesting

**broken link removed**

ModelSim LE/SE/PE support SystemVerilog design

 

[s0shinde]

Re: Tools that Support "System Verilog Assertions"

Aldec's Riviera also supports systemverilog assertions.