Carbon Design Systems Joins 0-In's Check-In Partner Program

Partners Will Integrate Easy-to-Use Assertion Automation with High-Performance Pre-Silicon and System Validation Engine

SAN JOSE, Calif.—(BUSINESS WIRE)—July 29, 2004— Today, 0-In Design Automation, the Assertion-Based Verification Company, announced the addition of Carbon Design Systems to the 0-In Check-In Partner Program. The 0-In Check-In Partner Program provides EDA partners access to the industry-leading Archer Verification(TM) system for assertion-based verification (ABV) and formal verification (FV) to develop solutions that deliver enhanced verification capabilities to joint customers.

The Archer Verification system's unique assertion synthesis technology provides the flexibility to choose assertion language, verification IP, and verification engine that best suit any verification challenge. This freedom to select best in class methodologies and tools ensures that customers realize the best possible return on their investment.

As a result of joining the Check-In Partner Program, Carbon will be able to integrate the assertions generated by the Archer Verification system with their DesignPlayer(TM) engine. The collaboration will enable joint customers to increase productivity by delivering RTL pre-silicon validation with full observability and the error detection features of CheckerWare(R), OVL and PSL assertions.

"Today's complex designs require a fast assertion-based verification environment," said Steve Butler, President and CEO of Carbon. "Joining 0-In's Check-In program enables us to deliver the industry's highest-performance RTL engine coupled to 0-In's premier verification system."

"This partnership allows joint customers to tackle the toughest verification challenges and find more bugs faster," said Steve White, president and CEO of 0-In. "Combining the improved observability and controllability of assertions and FV from 0-In with Carbon's single engine for hardware, software, and customer design validation will deliver fast, high-quality verification to joint customers."

About the Check-In Partner Program

Through the Check-In Partner Program, 0-In and its EDA partners create joint solutions to increase customer productivity. Check-In Partners receive software, licenses, and support for developing interoperable assertion solutions with the 0-In Archer Verification(TM) system. 0-In is committed to supporting the full range of verification tools, including compiled simulation, test bench suites, formal verification, simulation acceleration, emulation, and rapid prototyping.

About Carbon Design Systems

Carbon is delivering software products that enable high-performance pre-silicon chip and system validation. Carbon's single engine solution -- DesignPlayer -- can be used for hardware, software, and customer design validation. The DesignPlayer engine boosts hardware regression performance and validates drivers, diagnostics, & firmware up to 50X faster with cycle and register accuracy. A low-cost executable or linkable model can be deployed across the enterprise and to customers without the encumbrances of a slow simulator. For more information, see

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 built on industry standards that provides value throughout the design and verification cycle -- from the block level to the chip and system levels. 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

0-In(R) and CheckerWare(R) and Archer Verification(TM) are registered trademarks of 0-In Design Automation, Inc. All other trademarks are the property of their respective holders.

0-In Design Automation
Neil Hand, 408-487-3646

Email Contact
Cayenne Communication for 0-In Design Automation
Linda Marchant, 919-683-9545

Email Contact

Review Article Be the first to review this article
Featured Video
Director of Process Engineering. for Tekni-Plex at Toledo, Ohio
System Designer/Engineer for Bluewater at Southfield, Michigan
Mid-Level Mechanical Engineer for Kiewit at lenexa, Kansas
Mechanical Engineer for Allen & Shariff Corporation at Pittsburgh, Pennsylvania
Director, Business Development for Kongsberg Geospatial at Ottawa, Canada
Director, Business Development for Kongsberg Geospatial at remote from home, Any State in the USA
Upcoming Events
Montréal Manufacturing Technology Show (MMTS) 2018 at Place Bonaventure Montréal Canada - May 14 - 16, 2018
ESPRIT World 2018 at Indianapolis Marriott Downtown 350 West Maryland Street Indianapolis IN - Jun 11 - 15, 2018
HxGN LIVE 2018 at The Venetian Las Vegas NV - Jun 12 - 15, 2018
IMTS2018 International Manufacturing Tech Show at McCormick Place Chicago IL - Sep 10 - 15, 2018

Internet Business Systems © 2018 Internet Business Systems, Inc.
25 North 14th Steet, Suite 710, San Jose, CA 95112
+1 (408) 882-6554 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering EDACafe - Electronic Design Automation GISCafe - Geographical Information Services TechJobsCafe - Technical Jobs and Resumes ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise