( ESNUG 264 Item 5 ) -------------------------------------------- [9/3/97]
From: [ A Synopsys DC CAE ]
Subject: A Heads-up On DC v97.01 Generating Incorrect Logic
Hi John,
I just want to give you a heads-up on 1997.01. Just in case you have users
writing to you about this problem. Below is a Solv-It article posted that
describes the problem. We are also planning a cluster release for 1997.01
(a group of STARs have been fixed) which will replace the original 1997.01.
The first customer ship date was 6/17/97 and the release was called
1997.01-44683. Subsequent releases already have this fixed.
PROBLEM:
v1997.01 might generate incorrect logic when using the new
boolean structuring algorithm.
DESCRIPTION:
A problem was found with the new boolean structuring algorithm,
which might cause incorrect logic to generate using Design
Compiler v1997.01. If you use v1997.01 without boolean structuring,
you will not encounter this bug. There are two reported cases and
the problem has been isolated and fixed. The problem only happens in
the new boolean structuring code and has no effect on the overall
quality of Design Compiler v1997.01. The problem cannot be characterized
to a specific design style.
SOLUTION:
If you use boolean structuring in v1997.01, please be sure that
you use the "-verify" option of compile or compare_design to
validate the logic generated.
The problem is fixed in v1997.01-44683. The date of this release
is 5/27/97. This release will be shipped to all Synthesis customers
starting mid-June 1997. An early release will be made available
through Electronic Software Transfer (EST) starting early June.
Contact your account team for more information. Synopsys apologizes
for any inconvenience this might have caused.
Hope this helps.
- [ A Synopsys DC CAE ]
|
|
