0-In Announces Sun Microsystems Renews and Expands Corporate License
Commitment driven by success of 0-In tools in identifying and resolving verification hot spots in Sun chip designs
SAN JOSE, Calif. -December 18, 2003 - Today 0-In Design Automation, the Assertion-Based Verification Company, announced that Sun Microsystems, Inc. has renewed its corporate license for 0-In's Assertion-Based Verification (ABV) Suite and expanded the license to include all 0-In product offerings. This expansion comes as the direct result of the ABV Suite's success at improving the verification process on numerous projects throughout Sun.
"Since we originally licensed the 0-In products in 2000, they have seen wide adoption throughout Sun's design and verification community," said Shrenik Mehta, Sun's director of front-end technologies - ASICs and processors. "The 0-In tools have been used to help verify both ASIC designs and UltraSPARC® microprocessor designs, resulting in significantly faster time-to-market. We are pleased at the progress that 0-In has made in evolving and expanding their product line. We have found their new static products valuable for verifying synchronization across clock domain crossings and mutual exclusion for one-hot multiplexers."
Improper synchronization of signals that cross from one clock domain into another can be detected by 0-In Checklist, which automatically finds common RTL coding errors quickly and easily with no simulation required. Clock domain crossing (CDC) errors are very hard to find with simulation since clock relationships remain fixed. By using static netlist-analysis technology, 0-In Checklist can detect CDC problems that would occur in the manufactured chip when independent clocks shift around arbitrarily.
Many microprocessor designs implement each one-hot multiplexer with transistors connecting separate input signals to a common output signal. It is critical that two pass transistors are never enabled at the same time, since the resulting current flow could damage the chip. Formal analysis is the only effective way to verify that the control lines for the multiplexer pass transistors are always mutually exclusive. 0-In Confirm uses static formal verification to find deep RTL corner-case design bugs that are missed by all other verification methods, including one-hot multiplexer conflicts, and to prove that no such bugs exist.
"By renewing their license for 0-In products and expanding it to include our latest products, Sun will be able to expand their deployment of our tools to include 0-In Checklist and 0-In Confirm, two static verification products announced earlier this year," said 0-In President and CEO Steve White. "Sun also has licensed our complete suite of CheckerWare protocol monitors for use in both simulation and formal verification and continues their broad-based usage of our 0-In Check and 0-In Search dynamic verification products."
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 http://www.0-in.com.
####
0-In® and CheckerWare® are registered trademarks of 0-In Design Automation, Inc.
|
Related News
- Sun Microsystems Expands Community for SPARC With Release of UltraSPARC T1 Processor Design Under Free, GNU GPL Open Source License
- Mentor Graphics Delivers Enhanced 0-In Clock Domain Crossing and Formal Verification Technology
- Olympus Renews and Expands License of Tensilica's Xtensa Microprocessor
- Renesas Technology Integrates Mentor Graphics 0-In Assertion Synthesis for Assertion Based Verification Flow
- Mentor Graphics Enters Into Agreement to Acquire 0-In Design Automation
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 |