Welcome to EDAboard.com

Welcome to our site! EDAboard.com is an international Electronics Discussion Forum focused on EDA software, circuits, schematics, books, theory, papers, asic, pld, 8051, DSP, Network, RF, Analog Design, PCB, Service Manuals... and a whole lot more! To participate you need to register. Registration is free. Click here to register now.

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

Status
Not open for further replies.

rakesh_aadhimoolam

Full Member level 4
Joined
Mar 14, 2006
Messages
206
Helped
19
Reputation
38
Reaction score
2
Trophy points
1,298
Activity points
2,751
Hi .....

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

Thanks
 

mssajwan

Full Member level 1
Joined
May 19, 2006
Messages
95
Helped
12
Reputation
24
Reaction score
2
Trophy points
1,288
Location
Banaglore
Activity points
1,798
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

Junior Member level 1
Joined
Feb 23, 2007
Messages
16
Helped
4
Reputation
8
Reaction score
0
Trophy points
1,281
Activity points
1,393
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

Member level 1
Joined
Dec 7, 2006
Messages
32
Helped
1
Reputation
2
Reaction score
1
Trophy points
1,288
Activity points
1,428
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

Advanced Member level 3
Joined
Jan 27, 2006
Messages
971
Helped
104
Reputation
206
Reaction score
21
Trophy points
1,298
Activity points
7,491
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 :D

https://www.edn.com/blog/1480000148/post/1050013905.html

ModelSim LE/SE/PE support SystemVerilog design
 

s0shinde

Member level 1
Joined
Jun 30, 2003
Messages
40
Helped
1
Reputation
2
Reaction score
1
Trophy points
1,288
Location
MI,USA
Activity points
456
Re: Tools that Support "System Verilog Assertions"

Aldec's Riviera also supports systemverilog assertions.
 

Status
Not open for further replies.

Part and Inventory Search

Welcome to EDABoard.com

Sponsor

Top