( ESNUG 289 Item 3 ) ----------------------------------------------- [5/13/98]
Subject: ( ESNUG 288 #5 ) DC 98.02 Creates Bad Logic With Floating Inputs!
> Just a quick note on a problem that sometimes shows up when compiling with
> high effort "on". (At least I believe that it only happens w/ high effort
> being used.) Sometimes the 1998.02 synthesizer will create logic with the
> inputs of some cells not connected to anything. If you follow the good
> practice of always doing "check_design" after synthesis, then it will flag
> it. Synopsys has a patch for the problem that seems to work (at least it
> worked for one of my blocks), the patch is 1998.02-1, and my FAE was
> very responsive when I flagged this problem and I had a fix within an hour
> (thank you). The scary thing to me is that I always compile with
> verify_effort high, and it didn't catch the problem - I'll be double
> checking the man pages to see what this option is supposed to be verifying.
>
> - Victor J. Duvanenko
> Truevision
From: zalewski@cgc9.eda.mke.ab.com (George Zalewski)
John:
Supposedly there is a patch that fixes this bug, but I haven't applied
it yet. According to the readme file:
"This patch will only fix the problem in dc_shell. You will not be able
to use the workaround in Design Analyzer."
The instructions to get the patch were sent by a Synopsys representative,
and are included below. The documentation also mentions other cases during
which incorrect logic is generated.
Using the command-line FTP :
----------------------------
Substitute <arch> for your specific platform, either sparc, sparcOS5,
hpux10, or rs6000.
- Start an ftp session to "ftp.synopsys.com"
eg. % ftp ftp.synopsys.com
- Enter "anonymous" as the login name.
- Enter your <email address> as the password.
- Type "binary" at ftp prompt to set the transfer mode to binary:
ftp> binary
- Type the following command(s) to receive the files:
ftp> cd pub
ftp> cd syn_1998.02-1_<arch>
ftp> get syn_1998.02-1_<arch>.readme
ftp> get syn_1998.02-1_<arch>.tar.Z
ftp> get syn_1998.02-1_<arch>.pdf
ftp> get syn_1998.02-1_<arch>.ps
- To logoff the ftp server, type "quit"
The directory contains a readme file, release notes in postscript and pdf,
and the compressed tarfile for the software. I am enclosing the
postscript version of the release notes in this email.
The tarfile contains the following executables:
dc_shell_exec
dp_shell_exec
dt_shell_exec
dc_view_exec
estm_shell_exec
lc_shell_exec
lcgui
ra_shell_exec
rtl_analyzer_exec
bc_view_exec
ptxr_exec
schedule
These executables will continue to use the 1998.02 root directory. Customers
should copy these files into the $SYNOPSYS/<arch>/syn/bin directory.
- George Zalewski
Allen-Bradley Milwaukee, WI
|
|