|
CEO Newsletter |
Welcome to the summer edition of OneSpin's CEO newsletter! It updates our customers, partners, and interested companies on the latest news and information about OneSpin, our verification products, and trends in functional verification.
In this edition, you'll find out what we're doing at DAC and other upcoming conferences — the new technology we're showing, our tutorials, and special sessions — and you can review customer news, technology news, industry surveys and viewpoints. As always, we welcome your feedback and suggestions. |
EVENTS
|
|
OneSpin at DAC
OneSpin will exhibit at the 46th annual Design Automation Conference (DAC) in San Francisco, California, July 26-31. Visit us in Booth #3465.
Products
We'll demonstrate our
OneSpin 360 MV family of formal assertion-based verification (ABV) products and show 360 MV's new
RootCauseAnalyzer. The RootCauseAnalyzer eliminates most of the time-consuming manual analysis to trace the root causes of assertion failures in formal ABV, speeding assertion and design debug by up to 10x.
Tutorials and Special Session
- OneSpin will hold two ongoing formal ABV tutorials in its booth. "Get Going in a Day" informs you about use cases that ease and speed functional RTL verification with minimal learning effort. "Get Ahead" covers OneSpin's recent advances in SVA-based formal ABV for exhaustive operation- and transaction-level verification.
Register here.
- You can learn about the latest advances in design debug at the DAC Special Session "
The Tool Shows That My Design is Wrong, But Where is the Bug?" OneSpin joins experts from Intel, Jasper, and the Universities of Michigan, Tokyo and Toronto to discuss recent advances in the hunt for bugs.
|
|
Webinars
Not able to attend our DAC tutorials? You can attend them in a webinar series instead, starting in September 2009.
Register here |
|
SAME
OneSpin will participate in the Sophia Antipolis MicroElectronics (
SAME) conference, September 22-23, 2009 in Sophia Antipolis, France, and will demonstrate
OneSpin 360 MV and
RootCauseAnalyzer. |
|
FDL
OneSpin will present a formal ABV tutorial at the Forum on specification and Design Languages (
FDL) in Sophia Antipolis, France, September 22-24, 2009. The FDL international forum focuses on the application of languages and their associated design methods and tools for electronic system design. |
|
CUSTOMER NEWS
|
|
New Customer
Tieto, a leading international IT and R&D services company, and OneSpin announced a long-term agreement to deploy OneSpin's 360 MV formal ABV solution in Tieto's high-end FPGA verification flow. Design, verification and integration experts in Tieto's largest division — telecom and media — will use the solution to deliver leading-edge FPGA solutions to telecom operators, network equipment providers, mobile device manufacturers, automation, automotive and medical companies.
More information. |
|
Whitepaper
OneSpin customer
Alcatel-Lucent recently published the article, "
Automated formal method verifies highly-configurable HW/SW interface." It describes how 360 MV significantly improved the verification productivity and quality of a complex HW/SW interface — traditionally verified using simulation-based methods — in a large SDH/SONET communications chip. |
|
TECHNOLOGY NEWS
|
|
New RootCauseAnalyzer
We recently announced our new
RootCauseAnalyzer. It provides the most advanced debug automation capabilities available in formal ABV tools today.
Read more about the RootCauseAnalyzer in the articles: "
OneSpin advances formal assertion/RTL debug automation," by SCDsource's Bill Murray, and "
OneSpin creates debugging environment for formal verification tool," by EDN's Ron Wilson. |
|
360 MV Product Family
Earlier this year, we
announced our 360 MV step-by-step formal verification suite, which mainstreams formal functional verification. The suite consists of five interoperable products designed for formal verification starters, experienced users, and experts. Entry points at six application levels let companies best meet their verification needs, and help new users become productive in days. The suite supports three levels of "standard' formal ABV," and the three levels of OneSpin's enhanced ABV methodology based on design operations, featuring unique automatic detection of verification gaps. See SCDsource's article, "
OneSpin offers step-by-step formal verification suite" for more info. |
|
INDUSTRY SURVEYS AND VIEWPOINTS
|
|
Viewpoint
Michael Siegel's viewpoint article "
Formal — rocket science or mainstream technology? A deeper look", has just been published in SCDsource. Based on the data of a recent
industrial user survey, he debunks the myth that formal verification is only for experts. |
|
Industry Survey
The recent SCDsource Special Technology Report , "Mixing Formal and Dynamic Verification",
Part 1 and
Part 2, provides a detailed analysis about how formal functional verification is used today. It surveys 16 leading companies to determine the current and intended adoption of formal technology to increase functional verification productivity and quality. |
|
MORE INFORMATION
|
|
Want more information about OneSpin's 360 MV?
Go here to find datasheets, white papers, articles and registration for our formal ABV tutorials. |
It's my pleasure to keep you updated about OneSpin, and I hope you have found this newsletter informative and useful. For any questions, or for further information or evaluations, please
Email Contact. We welcome your comments and look forward to hearing from you.
Best regards,
Peter Feist, President & CEO
OneSpin Solutions
|
|