0-In Design Automation Achieves Verification Closure in Seminar Series

9/5/2003 - 0-In Design Automation, the Assertion-Based Verification Company, announced that the company will be presenting at Verisity, Ltd.'s (Nasdaq:VRST) worldwide Autumn seminar series on verification methodology. The Next-Generation Verification Seminars will introduce Verification Process Automation (VPA) solutions and offer a step-by-step look at what it takes to achieve first-pass silicon success with today's extremely complex chips, systems, hardware and software systems and systems-on-chip. In addition, attendees will get a sneak peek at innovative new verification automation technologies that enable verification closure.

The seminars are highly technical, focusing on VPA methodologies and techniques. Verisity will discuss concepts in driving verification closure by using verification metrics and process automation and show how these techniques scale from the module to the chip and the system level. 0-In will discuss structural coverage, a set of unified coverage metrics that link simulation with formal verification to provide users with actionable feedback about functional verification progress. These metrics support effective use of assertion-based verification, reduce total verification effort, and allow for earlier tape out with greater confidence.

At the seminars, attendees will learn:

Seminar Schedule and Registration
The Next-Generation Verification seminar series will be offered worldwide; 0-In will participate in all the seminars in North America, Japan and Korea as follows:

Attendance at the seminars is free. Registration information and more details on the seminar contents are available at http://www.verisity.com/home/seminar2003/index.html or by sending an email to seminars@verisity.com or seminars@0-In.com.

About 0-In
0-In Design Automation, Inc. (pronounced "zero-in") develops and supports functional verification products that help verify multi-million gate application-specific integrated circuit (ASIC) and system-on-chip (SoC) designs. The company delivers a comprehensive assertion-based verification (ABV) solution that provides value throughout the design and verification cycle - from the block level to the chip and system level. Twelve of the 15 largest electronics companies have adopted 0-In tools and methodologies in their integrated circuit (IC) design verification flows. 0-In was founded in 1996 and is based in San Jose, Calif. For more information, see http://www.0-in.com.

0-In® and CheckerWare® are registered trademarks of 0-In Design Automation, Inc.

Previous Page | News by Category | News Search

If you found this page useful, bookmark and share it on: