( ESNUG 282 Item 10 ) ----------------------------------------------- [2/26/98]

From: Chad Fasca <cfasca@cahners.com>
Subject: Questioning Formality's Independence From Design Compiler

Dear Mr. Cooley:

I need your insights on Formality, Synopsys's new equivalence checker.
Questions have been raised by Synopsys competitor Chrysalis about the
independence or lack thereof of Formality from Synopsys's Design Compiler
synthesis tool.  How much of an issue is Formality's reliance on DC?  Is
Formality going to allow the same faults to slip through that DC allows?

  - Chad Fasca
    Associate Editor
    Electronic News
 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)