( ESNUG 334 Item 6 ) --------------------------------------------- [10/28/99]

From: [ Curious Minds ]
Subject: What's The Dirt On The Cadence Affirma FormalCheck Model Checker?

Hi John,

Have you ever received any comment/feedback from your users group about the
Affirma FormalCheck model checker from Cadence.  I am interested to know how
useful is this tool for control and datapath designs.  Is it useful or is it
a waste of time?  Anon please.

    - [ Curious Minds ]
 Sign up for the DeepChip newsletter.
Email
 Read what EDA tool users really think.


Feedback About Wiretaps ESNUGs SIGN UP! Downloads Trip Reports Advertise
"Relax. This is a discussion. Anything said here is just one engineer's opinion. Email in your dissenting letter and it'll be published, too."
This Web Site Is Modified Every 2-3 Days
Copyright 1991-2024 John Cooley.  All Rights Reserved.
| Contact John Cooley | Webmaster | Legal | Feedback Form | 

   !!!     "It's not a BUG,
  /o o\  /  it's a FEATURE!"
 (  >  )
  \ - / 
  _] [_     (jcooley 1991)