Questa OneSpin StaticFormal Notice of release retraction and reissue - Questa OneSpin StaticFormal 2024.2 & 2024.2_1

2024-08-21T22:43:02.000-0400
Questa OneSpin StaticFormal

Summary

Customers advised to remove Questa OneSpin StaticFormal retracted releases 2024.2 and 2024.2_1 and install new re-released 2024.2a and 2024.2_1a releases. Questa CDC customers impacted are advised to rerun Questa CDC.


Details

Issue:  For release 2024.2 and 2024.2_1, Questa CDC may report incorrect clock domain crossing designs as clean.  The issue was discovered first in 2024.2_1 after its release and was then determined to impact the 2024.2 release as well.

 

Siemens Action: Siemens EDA has retracted both the 2024.2 and 2024.2_1 releases of the Questa OneSpin StaticFormal product, and re-released versions 2024.2a and 2024.2_1a accordingly.  These new releases are identical to the previous releases apart from the single fix to the issue that triggered the retraction and re-release. 

 

Customer Action: Siemens EDA strongly advises destruction and/or deletion of any media or installation of the Questa OneSpin Static Formal release 2024.2 or 2024.2_1, to be replaced by the already available replacement 2024.2a or 2024.2_1a accordingly. 

 

Customers are also strongly advised to rerun, using the new release, any CDC analyses previously performed under the retracted 2024.2 or 2024.2_1 release.

 

All other products apart from Questa CDC within the 2024.2 or 2024.2_1 Questa OneSpin StaticFormal releases are unaffected.  Customers are still advised to replace the retracted release with the associated re-release nonetheless.


The upcoming 2024.2_2 release will occur as planned, already containing the fix.  There will be no retraction for this release due to this issue.

 

Siemens EDA values our customers’ trust and satisfaction in our products and Questa CDC and has taken this unusual measure due to the critical nature of CDC verification to our customers’ program success.


This knowledge article applies to this product:
 

243168

Questa CDC Ap SW

KB Article ID# KB000134757_EN_US

Contents

SummaryDetails

Associated Components

Questa CDC