( ESNUG 404 Item 8 ) --------------------------------------------- [01/08/03]
From: [ Kenny, from South Park ]
Subject: Synopsys Officially Kills Off Chrysalis In Favor Of Formality
Hi, John,
Synopsys is putting the nail in the coffin of Chrysalis.
From: Dave Guinther <david.guinther atatat synopsys|sysponys hot mom>
Subject: Synopsys Design VERIFYer -inFORMAL Update- November, 2002
To: xxx@xxxxxx.xxx
Hi [Name Deleted]-
This email contains important information regarding your Design
VERIFYer licenses. Please read this now.
READ THIS SUMMARY - IT'S IMPORTANT
------------------------------------
In July we told you we'd have our roadmaps in place regarding our plans
for Design VERIFYer and Formality. Since then we've visited many
sites, talked with even more, and sent official 'snail mail' to our
customers announcing our decision to continue support for Design
VERIFYer while we focus our R&D efforts on Formality.
The purpose of this email is to make sure each of our users has been
contacted and is fully aware of our roadmap and migration plans.
The Synopsys 'DV2FM' Migration Program includes:
* Continued Design VERIFYer support for 18 months
* No-Charge Upgrades to Formality from Design VERIFYer
* Shared Licenses to enable you to use BOTH Design VERIFYer
and Formality during the migration period.
Many of you have already received 'shared licenses' and are using
Formality. If this is the case at your site, thanks for your support
and feedback welcome. If not, read on to make sure you don't miss this
opportunity to request your shared licenses and upgrade to Formality at
no charge. There's no cost, no risk, and no commitment if you order
by March, '03.
Formality Technology Roadmap
------------------------------
The September release of Formality included 'shared licensing'
capabilities for our Design VERIFYer users. The December release is
the first of several that will add key Design VERIFYer capabilities to
Formality; it will also include hot new DataPath support for hard
verifications. In March, ?03, Formality users will be able to verify
SPICE- and transistor-based designs. If you?d like to hear more about
our roadmap let us know and we?ll arrange a briefing for your site.
Migration Program Details
--------------------------
Contact your account manager to make sure you obtain your Synopsys
'DV and Formality Shared Add-on' licenses. This is the first step in
the migration, and an important one to maintain the no-cost option for
upgrading to Formality. If, after trying out Formality, you decide to
continue to use Design VERIFYer (not likely once you try out the GUI-
based set-up and debug capabilities and get a chance to see how fast
Formality runs on RTL and gate-level designs :) you will have the
option to request 20-year 'off maintenance' keys for Design VERIFYer.
Getting the Shared License keys NOW preserves your ability to migrate
to Formality next year at no charge.
The Formal Landscape here at Synopsys
----------------------------------------------------
We're excited to have a larger-than-ever R&D team working exclusively
on formal verification. Our combined team, with development centers in
Oregon and Massachusetts, is focused on providing you with the best
possible solutions for verifying your chips quickly and efficiently.
This team is working to protect the investment you?ve made in Formality
and Design VERIFYer. Enhancing the performance, capacity, and 'time-
to-results' capabilities for a wide range of those verification
problems in the RTL, gate and transistor space where you're competing
is our Top Priority.
These are challenging times economically, and we're pleased to provide
a DV2FM Migration Plan using a Zero-Cost, Zero-Risk approach that
provides you with the best equivalence checking solution on the market
today. Synopsys III has much to offer customers in terms of stability,
worldwide support, and technical excellence - thanks again for your
support and for being our customer.
Dave G
PS - AS always, any questions, comments suggestions welcome. Call or
email any time:)
Dave Guinther,
Formality Technical Marketing Manager
Synopsys, Inc.
508.263.8248
Glad I never purchased Chrysalis, but somehow I'm on the user list anyway.
- [ Kenny, from South Park ]
|
|
