0-In Demonstrates the Value of Assertion-Based Verification (ABV) throughout the Design Cycle at the Design Automation Conference
Come see how 12 of the world's 15 largest electronics companies are using 0-In's ABV methodology to
- Increase Tapeout Confidence
- Find Bugs Missed in Simulation
- Ensure Thorough Verification
- Reduce Time to Market
SAN JOSE, Calif. - June 4, 2002 - 0-In Design Automation, Inc., The Assertion-Based Verification Company, will present its complete Assertion-Based Verification (ABV) solution at the Design Automation Conference (DAC) from June 9-13 in New Orleans. 0-In invites those interested in a demonstration of its latest products or a discussion of its ABV methodology to visit Booth #3152 at DAC or to request a private suite demonstration at http://www.0-in.com/misc/dac_demo_form.php. An overview presentation of 0-In's ABV solutions can be found at http://www.0-in.com.
Assertion-Based Verification enables designers to capture design intent in the form of assertions and validate these assertions using simulation and formal verification technology at all levels of abstraction from the block to the system level. Companies are increasingly turning to ABV to reduce their verification time and improve their verification thoroughness.
"Seventy percent of development effort is spent on functional verification, which clearly indicates that traditional simulation methods are inadequate," said Emil Girczyc, 0-In president and CEO. "Our customers have found that Assertion-Based Verification not only reduces their verification effort, but also finds bugs missed by classical directed and pseudo-random simulation. 0-In provides the only complete ABV solution across simulation, formal verification, emulation and rapid prototyping platforms."
At DAC, 0-In will demonstrate its current products and will also preview its next-generation assertion-based verification technologies, designed to further supercharge verification flows. Products to be demonstrated include:
- 0-In Check, a comprehensive assertion management system that improves observability during simulation and grades testbench efficacy with structural coverage metrics.
- 0-In Search, a dynamic formal verification tool, which increases tapeout confidence by performing an exhaustive analysis of designer-specified assertions.
- 0-In CheckerWare® Library and Monitors, a rich library of Verification IP, which makes it easy to specify re-usable complex assertions. This library of assertion checkers is validated with static and dynamic formal technologies. Available Verification IP includes over 20 CheckerWare® Monitors for industry-standard protocols such as Infiniband, AGP, AMBA, PCI, PCI-X POS-PHY, UTOPIA, CSIX, SPI-4, HyperTransport, SDRAM, SRAM, and DDR SDRAM.
0-In's Check-In Partners deliver interoperability solutions that enable design teams to leverage 0-In assertions across multiple verification platforms. Attendees at DAC will see 0-In's ABV solution running on Axis Systems' Xtreme verification system and the Bridges2Silicon FPGA rapid prototyping environment.
Customer Success Highlights:
0-In will present customer experiences using its established ABV solutions to reduce the verification time of complex designs. 0-In's customers span a wide range of product applications - microprocessor, chipset, server, multimedia, telecommunications, networking and IP cores - in design centers throughout Europe, Asia and North America.
Conference Technical Program:
Curt Widdoes, chairman and CTO of 0-In and an industry expert in verification technologies, will be on the panel "Formal Verification Methods: Getting Around the Brick Wall" discussing how to overcome the barriers to adopting formal verification on Thursday, June 13, 8:30-10:00 am in Auditorium A.
About 0-In
About 0-In 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. Twelve of the fifteen largest electronics companies worldwide 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 trademarks of 0-In Design Automation, Inc.
|
Related News
- Cadence and 0-In Collaborate to Deliver Superior Assertion-Based Verification
- 0-In Granted Key Patent in Assertion-Based Verification
- 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
- Frontgrade Gaisler Unveils GR716B, a New Standard in Space-Grade Microcontrollers
- Blueshift Memory launches BlueFive processor, accelerating computation by up to 50 times and saving up to 65% energy
- Eliyan Ports Industry's Highest Performing PHY to Samsung Foundry SF4X Process Node, Achieving up to 40 Gbps Bandwidth at Unprecedented Power Levels with UCIe-Compliant Chiplet Interconnect Technology
- CXL Fabless Startup Panmnesia Secures Over $60M in Series A Funding, Aiming to Lead the CXL Switch Silicon Chip and CXL IP
- Cadence Unveils Arm-Based System Chiplet
Most Popular
- Cadence Unveils Arm-Based System Chiplet
- CXL Fabless Startup Panmnesia Secures Over $60M in Series A Funding, Aiming to Lead the CXL Switch Silicon Chip and CXL IP
- Esperanto Technologies and NEC Cooperate on Initiative to Advance Next Generation RISC-V Chips and Software Solutions for HPC
- Eliyan Ports Industry's Highest Performing PHY to Samsung Foundry SF4X Process Node, Achieving up to 40 Gbps Bandwidth at Unprecedented Power Levels with UCIe-Compliant Chiplet Interconnect Technology
- Arteris Selected by GigaDevice for Development in Next-Generation Automotive SoC With Enhanced FuSa Standards
E-mail This Article | Printer-Friendly Page |