( ESNUG 263 Item 4 ) -------------------------------------------- [8/27/97]
Subject: (ESNUG 261 #1) Synopsys "bk" DesignWare Adders Are BROKEN!!!!
> In the new release of Synopsys 1997.01, the designware foundation library
> has new architectures for adders called "bk". I guess the synonym means
> Broken. ... We found that these adders were not functioning as advertised
> and 4 MSB bits of the 52 bit adder were producing incorrect output
> results. Actually Chryalis symbolic verifier found this out for us. ...
From: gilbert@aluxs.micro.lucent.com (Gilbert Nguyen)
Hey John,
If you do a report_synlib dw01.sldb then yes there is the reason for the
52 bit BK adder with a bug -- It is legal only if the bit width is < 48 .
Attributes/Parameters:
v - verify_only
u - dont_use
r - regular_licenses
l - limited_licenses
d - design_library
s - priority_set_id
p - priority
leg - legal
Module Implementations Attributes/Parameters
----------------------------------------------------------------------
DW01_absval clf l = SynLib-Eval
r = DesignWare-Foundation
DW01_add bk l = SynLib-Eval
r = DesignWare-Foundation
d = DW01
leg = "(width < 48 )"
^^^^^^^^^^^^^^^^^^^^^^^^ LOOK!!!
Keep up the good work!
- Gilbert Nguyen
Bell Labs / Lucent Technologies
|
|
