Rules | Recent posts | topic RSS | Search | Register  | Log in

About vera ?

 
Post new topic  Reply to topic    EDAboard.com Forum Index -> ASIC Design Methodologies & Tools (Digital)
Author Message
netghost



Joined: 11 Feb 2003
Posts: 4
Post26 Mar 2003 11:26   About vera ?
Can anyone tell me what is the difference between "vera", "open-vera" , "formal-vera", "sugar" and "verisity e-language" ?

many thanks!
Back to top
Post new topic  Reply to topic    EDAboard.com Forum Index -> ASIC Design Methodologies & Tools (Digital)
Page 1 of 1 All times are GMT + 2 Hours


Abuse
Administrator
Moderators
topic RSS 
sitemap