Carbon Design Systems Checks into 0-In's Check-In Partner Program

7/30/2004 - 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 VerificationTM 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 DesignPlayerTM 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®, 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 VerificationTM 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® and CheckerWare® and Archer VerificationTM are trademarks or 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: