Cadence and 0-In Collaborate to Deliver Superior Assertion-Based Verification

Cadence Adds Assertion Library and Monitors to Incisive Verification Platform to Increase Verification Speed and Efficiency

SAN JOSE, Calif.—(BUSINESS WIRE)—Jan. 16, 2004— Cadence Design Systems, Inc. (NYSE: CDN) and 0-In Design Automation, Inc., the Assertion-Based Verification company, today announced that they have combined efforts to provide superior verification solutions to the market. As a key component of this relationship, Cadence(R) will integrate and license 0-In's library of assertion checkers, protocol monitors, assertion synthesis, and assertion management technology. The combination of these capabilities with the industry-leading Cadence Incisive(TM) functional verification platform provides customers with new generation technology to increase verification speed and efficiency.

Through the agreement between Cadence and 0-In, 0-In's library of verification IP, which includes over 70 pre-verified assertion checkers and over 25 proven protocol monitors, will be integrated with the Incisive platform. By using the assertion IP library, Cadence Incisive customers can specify assertions 10x to 100x faster than they can by using language-only approaches.

"Many of our customers are using 0-In assertion-based verification with the Incisive platform, so this was a natural next step," said Ping Chao, executive vice president and general manager of the Design and Verification division, Cadence Design Systems, Inc. "The integration of 0-In's leading library-based assertion approach with the Incisive platform will help designers and verification engineers verify faster, more efficiently and more thoroughly. The relationship with 0-In demonstrates our overall strategy of open collaboration with industry leaders to provide customers with the most critical solutions for their design and verification needs."

"The CheckerWare(R) library and assertion synthesis technology are perfect complements to the Incisive verification platform," said Steven D. White, president and CEO of 0-In Design Automation. "Our joint customers will benefit from the improvement in verification efficiency this collaboration delivers -- from the specification level through to the implementation level."

The licensed assertion synthesis capability provides interoperability of assertion formats such as Property Specification Language (PSL), SystemVerilog Assertions (SVA) and the Open Verification Library (OVL). This allows heterogeneous assertions to operate natively on the Incisive unified simulator and Palladium(TM) accelerator/emulator. Incisive customers will now have the flexibility to mix-and-match language-based and library-based assertions to best meet their verification goals.

The relationship between 0-In and Cadence also leads to enhanced structural coverage capabilities in the Incisive platform. Structural coverage complements functional coverage by monitoring implementation corner-cases, enabling measurement of total verification completeness by design teams.

0-In plans continuing development of its assertion-based verification offerings for the Incisive platform, including integration with and performance optimization for the Incisive unified simulator and the Incisive analysis and debug environment.

About Incisive

The Cadence Incisive functional verification platform is the world's first single-kernel verification platform that supports a unified methodology from system design to system design-in for all design domains. The unified methodology may be followed from the block-level, system-level, or anywhere in-between. Incisive delivers up to 100x full-chip performance throughout the entire design cycle, and compresses total verification time by up to 50 percent. The Incisive platform architecture natively supports Verilog(R) and its future extensions based on SystemVerilog, VHDL, SystemC, PSL/Sugar and Open Verification Language (OVL) assertions, algorithm development, and analog/mixed-signal verification. This architecture provides customers, IP partners, and EDA partners with the open-interoperability they need to interface easily with the Incisive platform. With full transaction-level support, unified test generation, and Acceleration-on-Demand, the Incisive platform delivers the fastest, most efficient verification in the industry.

About 0-In Design Automation

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

About Cadence

Cadence is the largest supplier of electronic design technologies, methodology services, and design services. Cadence solutions are used to accelerate and manage the design of semiconductors, computer systems, networking and telecommunications equipment, consumer electronics, and a variety of other electronics based products. With approximately 4,800 employees and 2002 revenues of approximately $1.3 billion, Cadence has sales offices, design centers, and research facilities around the world. The company is headquartered in San Jose, Calif., and traded on the New York Stock Exchange under the symbol CDN. More information about the company, its products and services is available at

Cadence, the Cadence logo, and Verilog are registered trademarks of Cadence Design Systems. Incisive and Palladium are trademarks of Cadence Design Systems, Inc. in the U.S. and other countries.

0-In(R) and CheckerWare(R) are registered trademarks of 0-In Design Automation, Inc.

All other marks are properties of their respective holders.

The Hoffman Agency for Cadence Design Systems, Inc.
Karin Gilles, 408-975-3038

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

Email Contact

Review Article Be the first to review this article
Featured Video
Currently No Featured Jobs
Upcoming Events
RISC-V Workshop Chennai at IIT Madras Chinnai India - Jul 18 - 19, 2018
CDNLive Japan 2018 at The Yokohama Bay Hotel Tokyu Yokohama Japan - Jul 20, 2018
International Test Conference India 2018 at Bangalore India - Jul 22 - 24, 2018
MAPPS 2018 Summer Conference at The Belmond Charleston Place Charleston SC - Jul 22 - 25, 2018
DownStream: Solutions for Post Processing PCB Designs
TrueCircuits: IoTPLL

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 TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise