FLEXcertifydll
Joined: 04 Sep 2003
Posts: 295
Helped: 3
|
 30 Aug 2004 6:31 How about OVA, SVA in the industry |
|
|
|
|
How about OVA, SVA in the industry, which one should I take?
OVA, SVA and PSL is used in verification, but Syn**sys and Can**ce and
other tool vendors anounced OVA and PSL will be breakdown in thery
future tools. please give me some advices.
Thanks anyway.
|
|
joe2moon
Joined: 19 Apr 2002
Posts: 389
Helped: 12
Location: MOON
|
17 Dec 2007 14:13 Re: How about OVA, SVA in the industry |
|
|
|
|
Source: http://www.deepchip.com/items/dvcon07-13.html
2005 - What do you think of assertion languages and assertion
libraries such as SVA, PSL, OVL, 0-In CheckerWare?
don't use : ########################################## 42%
IBM Sugar/PSL : ##################### 21%
0-In CheckerWare : ######## 8%
System Verilog SVA : ################## 18%
Synopsys Vera OVA : ############ 12%
Verplex OVL : ############## 14%
VHDL Assertions : ## 2%
2007 - Does your current project use assertion languages or assertion
libraries? (Yes/No) If yes, which one(s) are you using? (e.g.
IBM Sugar/IEEE PSL, System Verilog SVA, Verplex/Accelera OVL,
Synopsys Vera OVA, 0-In CheckerWare, VHDL assertions, homegrown?)
don't use : ################################ 31.5%
IBM Sugar/PSL : ############### 14.9%
0-In CheckerWare : ####### 6.8%
System Verilog SVA : ###################################### 37.8%
Synopsys Vera OVA : ########## 9.6%
Verplex OVL/IAL : ######### 9.3%
VHDL Assertions : ####### 7.0%
homegrown : ######## 8.2%
|
|
