Welcome to the SpringSoft Technology Newsletter. This is a monthly e-mail newsletter distributed to our customers, partners, and friends to provide information on our Novas Verification Enhancement and Laker Custom IC Design technologies. We hope the information in this newsletter will help you to use our products more effectively in your design and verification environments.
Please see the links at the end of this newsletter for subscription information or to provide feedback that will help us improve future editions.
<Click here to download printable version>
Verification Tips:
Enhanced On-Demand Assertion Debugging Methodology
Assertion-based Verification (ABV) is now a widely used methodology to monitor whether the design's behavior meets the specification intent. For a big design, there may be a dozen or even hundreds of assertions in the design and, as is increasingly more common, the assertions may be spread all over the design hierarchy. Managing assertions, visualizing results, and debugging assertions becomes a big issue in this type of environment.
Technical Articles:
Improve Functional Verification Quality with Mutation-Based Code Coverage - Embedded.com, Dec. 2009
Despite advances in stimulus generation and coverage measurement techniques, existing tools do not tell the engineer "how good" the testbench is at propagating the effects of bugs to observable points or detecting incorrect operation that indicates the presence of bugs.
As a result, decisions about where to focus verification effort, how to methodically improve the environment, whether it is robust enough to catch most potential bugs, and ultimately when verification is "done" are often based on partial data or "gut feel" assessments.
This article discusses the application of mutation-based testing techniques to measure and drive improvement in all aspects of functional verification quality for simulation-based environments as a solution to these problems.
Support:
All Worldwide Support Consolidated To One Site
No matter where you are worldwide,
you can now find SpringSoft's top rated support in one place.
Just go to http://support.springsoft.com
Product Releases:
The most recent product releases are:
Novas Verdi - 2010.01
Novas Siloti - 2010.01
Laker - 2009.12
ADP - 2009.12
Certitude - 2010.01 (to be released January 25)
Go to www.springsoft.com/support to update your versions.
News:
SpringSoft and Magma Complete Cross-tool Validation - CiE; Components in Electronics, Jan. 2010
SpringSoft, a global supplier of specialised IC design software, and Magma Design Automation, a provider of chip design software, have completed cross-tool validation using TSMC's 65nm interoperable process design kit (iPDK). The companies have been able to demonstrate full interoperability between the SpringSoft Laker Custom Layout Automation System and Magma Titan Mixed-signal Design Platform running in the OpenAccess environment. This validation saves time and effort of setting up an interoperable flow and ensures consistent results.
Upcoming Events:
EDS Fair 2010 - Jan 28-29, 2010
See Springsoft at EDS Fair 2010 in Kanagawa, Japan
Go to: http://edsfair.com/e to learn more.
DVCon 2010 - Feb 22-25, 2010
See SpringSoft at DVCon at the DoubleTree Hotel, San Jose, CA
Booth #701
Go to: http://www.dvcon.org to learn more.
Find SpringSoft on Twitter and on Facebook.
Twitter: www.twitter.com/SpringSoft
Facebook: www.facebook.com/SpringSoft
Newsletter Subscription Information:
If you would like to be removed from the SpringSoft Newsletter distribution list, or if you consider this message as unsolicited commercial e-mail, please email karim_azar@springsoft.com . Type the word "Remove" in the subject line and hit "Send."
We'd appreciate hearing your suggestions, comments or questions about the SpringSoft Newsletter. Please feel free to contact Karim Azar at +1 (408) 467.7860 or karim_azar@springsoft.com
Novas, Laker, Verdi, Siloti and nWave are trademarks and Debussy is a registered trademark of SpringSoft, Inc. All other trademarks are property of their respective owners.
Copyright 2010, SpringSoft, Inc. All rights reserved.
