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
- Logic Design Solutions launches Gen4 NVMe host IP
- ULYSS1, Microcontroller (MCU) for Automotive market, designed by Cortus is available
- M31 is partnering with Taiwan Cooperative Bank to launch an Employee Stock Ownership Trust to strengthen talent retention
- Sondrel announces CEO transition to lead next phase of growth
- JEDEC Publishes LPDDR5 CAMM2 Connector Performance Standard
Most Popular
- Arm's power play will backfire
- Alphawave Semi Selected for AI Innovation Research Grant from UK Government's Advanced Research + Invention Agency
- Secure-IC obtains the first worldwide CAVP Certification of Post-Quantum Cryptography algorithms, tested by SERMA Safety & Security
- Weebit Nano continuing to make progress with potential customers and qualifying its technology Moving closer to finalisation of licensing agreements Q1 FY25 Quarterly Activities Report
- PUFsecurity Collaborate with Arm on PSA Certified RoT Component Level 3 Certification for its Crypto Coprocessor to Provide Robust Security Subsystem Essential for the AIoT era
E-mail This Article | Printer-Friendly Page |