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
Autodesk - DelCAM

Featured Video
Jeff RoweJeff's MCAD Blogging
by Jeff Rowe
Hexagon’s Recent Ups & Downs Update
Solidworks Product Designer for NASCENT Technology at Charlotte, NC
SYSTEMS INTEGRATOR for Palm Beach County Human Resources at West Palm Beach, FL
Developer-Support-Implementation Engineer for EDA Careers at San Francisco Area, CA
CAD/CAM Regional Account Manager (Pacific Northwest) for Vero Software Inc. at Seattle, WA
Upcoming Events
AI·GI·CRV Conference 2017 at Edmonton, Alberta Canada - May 16 - 19, 2017
Innorobo 2017 at Docks de Paris Paris France - May 16 - 18, 2017
Display Week 2017 at Los Angeles Convention Center 1201 S Figueroa St Los Angeles CA - May 21 - 26, 2017
LiveWorx Tech Conf 2017 at Boston MA - May 22 - 25, 2017
SolidCAM: Patented Wizard to optimal feeds & speeds

Internet Business Systems © 2017 Internet Business Systems, Inc.
595 Millich Dr., Suite 216, Campbell, CA 95008
+1 (408)-337-6870 — 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 Policy Advertise