A Community of Verification Professionals

Create an Account	Home | Calendar | Downloads | FAQ | Links | Site Admin | Your Account
Login Nickname Password Security Code: Type Security Code BACKWARD Don't have an account yet? You can create one. As a registered user you have some advantages like theme manager, comments configuration and post comments with your name. Modules · Home · Downloads · FAQ · Feedback · Recommend Us · Web Links · Your Account Advertising Who's Online There are currently, 47 guest(s) and 1 member(s) that are online. You are Anonymous user. You can register for free by clicking here    Verification Guild: Forums  Forum FAQ   Search   Usergroups   Profile  Digest    Log in  Tools for FV          Verification Guild Forum Index -> Formal View previous topic :: View next topic   Author Message Thrakath Senior Joined: May 11, 2004 Posts: 15 Location: Dresden, Germany Posted: Thu May 13, 2004 2:10 am    Post subject: Tools for FV Hi all, My question is which tool for formal verfikation are aviable on the market and which tool do you use. cu Thrakath Back to top srini Senior Joined: Jan 23, 2004 Posts: 430 Location: Bengaluru, India Posted: Thu May 13, 2004 3:33 am    Post subject: Ideally one could get this information from sites such as eetimes, deepchip.com, edatoolscafe.com etc. Nevertheless here is "a" list (far from complete, I think). 1. Magellan Synopsys 2. @Verifier AtHDL 3. Static Verifier, Cadence 4. Verifier Safelogic 5. Jasper Gold, Jasper-DA There was a good report on some of these tools in the recent ESNUG, check out: http://deepchip.com/items/0428-04.html HTH, Srinivasan _________________ Srinivasan Venkataramanan Chief Technology Officer, CVC www.cvcblr.com A Pragmatic Approach to VMM Adoption SystemVerilog Assertions Handbook Using PSL/SUGAR 2nd Edition. Contributor: The functional verification of electronic systems Back to top bdeadman Senior Joined: Jan 06, 2004 Posts: 204 Location: Austin, TX Posted: Thu May 13, 2004 9:48 am    Post subject: I believe IBM is selling its RuleBase product. Bernard Back to top Thrakath Senior Joined: May 11, 2004 Posts: 15 Location: Dresden, Germany Posted: Fri May 14, 2004 2:09 am    Post subject: does only rulebase support PSL for formal verification? Does Formalcheck from cadence sopport PSL? Whicht tools for FV with PSL do you use? Thanks Back to top srini Senior Joined: Jan 23, 2004 Posts: 430 Location: Bengaluru, India Posted: Fri May 14, 2004 3:15 am    Post subject: Thrakath wrote: does only rulebase support PSL for formal verification? Does Formalcheck from cadence sopport PSL? Whicht tools for FV with PSL do you use? Thanks Again I would recommend looking at individual EDA vendors' sites for more details, but some of the tools I mentioned do support PSL. I personally have tried @HDL, Cadence Static Verifier. (BTW, I believe FormalCheck is now renamed and some of Verplex's BlackTies features got included into a new product named Static Verifier). AFAIK, Magellan does not support PSL and Jasper - no mention of it in their web page. HTH, Srinivasan _________________ Srinivasan Venkataramanan Chief Technology Officer, CVC www.cvcblr.com A Pragmatic Approach to VMM Adoption SystemVerilog Assertions Handbook Using PSL/SUGAR 2nd Edition. Contributor: The functional verification of electronic systems Back to top bdeadman Senior Joined: Jan 06, 2004 Posts: 204 Location: Austin, TX Posted: Fri May 14, 2004 9:09 am    Post subject: PSL was derived from the IBM internal Sugar language, and the folks in IBM continue to promote PSL. They maintain a web site: http://www.haifa.il.ibm.com/projects/verification/sugar/tools.html which lists the tools & services they know about that support PSL. Bernard Back to top Display posts from previous: All Posts1 Day7 Days2 Weeks1 Month3 Months6 Months1 Year Oldest FirstNewest First         Verification Guild Forum Index -> Formal All times are GMT - 5 Hours Page 1 of 1   Jump to: Select a forum Main----------------MainEDA NewsCommunity Services Networking----------------Looking for a jobLooking for candidates Archives----------------AssertionsCoverageFormalSimulationDesignMiscellaneous Test----------------Test  You can post new topics in this forum You can reply to topics in this forum You cannot edit your posts in this forum You cannot delete your posts in this forum You cannot vote in polls in this forum Forums ©

Verification Guild © 2006 Janick Bergeron
Web site engine's code is Copyright © 2003 by PHP-Nuke. All Rights Reserved. PHP-Nuke is Free Software released under the GNU/GPL license.
Page Generation: 0.770 Seconds