0-In Granted Key Patent in Assertion-Based Verification
SAN JOSE, Calif. – August 25, 2003 – Today 0-In Design Automation, the Assertion-Based Verification Company, announced that it has been granted U.S. Patent Number 6,609,229, entitled “Method for automatically generating checkers for finding functional defects in a description of a circuit” which covers methods of specifying and generating assertions for use in simulation.
“0-In pioneered assertion-based verification,” explained Dr. Curtis Widdoes, 0-In’s Chairman and Chief Technical Officer. “Very early on, our customers told us that it was critical to make assertions easy to use. With their guidance, we developed a wide range of methods and technologies for design engineers and verification engineers to easily specify and use assertions. The newly granted patent covers those methods and technologies.”
0-In is committed to making the power of assertion-based and formal verification technologies available to every chip designer and every verification engineer. “We believe that advanced verification technologies are successful only when they are easy enough to use that they can be adopted without the help of specialists,” said Dr. Widdoes. “Our goal is to make specification of assertions effortless, so that every member of the development team can put assertions into the design.” As part of this effort, 0-In is a strong proponent of standards and interoperability and is an active member of Accellera. The 0-In Assertion-Based Verification suite of tools and CheckerWare® verification IP library support Accellera and IEEE standards.
Products currently being shipped by 0-In incorporate the methods and technologies covered by the newly granted patent.
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.
|
Related News
- Cadence and 0-In Collaborate to Deliver Superior Assertion-Based Verification
- 0-In Demonstrates the Value of Assertion-Based Verification (ABV) throughout the Design Cycle at the Design Automation Conference
- Momentum Builds for Assertion-Based Verification: 0-In Welcomes Averant and Bridges2Silicon as Check-In Partners
- 0-In revs assertion-based verification
- Renesas Technology Integrates Mentor Graphics 0-In Assertion Synthesis for Assertion Based Verification Flow
Breaking News
- Ceva multi-protocol wireless IP could simplify IoT MCU and SoC development
- Controversial former Arm China CEO founds RISC-V chip startup
- Fundamental Inventions Enable the Best PPA and Most Portable eFPGA/DSP/SDR/AI IP for Adaptable SoCs
- Cadence and TSMC Collaborate on Wide-Ranging Innovations to Transform System and Semiconductor Design
- Numem at the Design & Reuse IP SoC Silicon Valley 2024
Most Popular
- GUC provides 3DIC ASIC total service package to AI/HPC/Networking customers
- Qualitas Semiconductor Appoints HSRP as its Distributor for the China Markets
- Siemens collaborates with TSMC on design tool certifications for the foundry's newest processes and other enablement milestones
- Credo at TSMC 2024 North America Technology Symposium
- Huawei Mate 60 Pro processor made on SMIC 7nm N+2 process
E-mail This Article | Printer-Friendly Page |