@HDL Automatic Functional Verification Product Family Selected for use in Oki Semiconductor ASIC Design Centers

For more information, contact us.

May 13, 2002, San Jose, Calif. — Oki Semiconductor, a leading technology partner for the new era of digital communications and convergence, and @HDL, an emerging leader in design automation for accelerating functional verification, today announced support of the @HDL software for use in the Oki Semiconductor ASIC Design Centers. Oki Semiconductor selected the @Verifier and @Designer products from @HDL after an extensive evaluation of competitive tools. The @HDL products will be used by Oki Semiconductor’s ASIC Design Center staff to automatically uncover functional errors in customer designs, prior to release for silicon.

"A key component of our RTL sign-off methodology is to provide Oki’s ASIC customers with the highest degree of verification to ensure first-pass success. Prior to selecting the software provided by @HDL for verification of ASIC designs, our engineering team did a thorough analysis of the newest products available in the marketplace which incorporate formal model checking," said Jamshed Qamar, vice president of ASIC Business Development, Oki Semiconductor. "In reviewing our benchmark results, @HDL’s design verification software surpassed the vendors we were evaluating in capacity, performance, error detection coverage and debugging. With @HDL software, our Design Center team will now be able to provide a new level of verification prior to RTL sign-off for multi-million gate ASIC designs."

The @Verifier product combines a powerful, automatic property extraction capability with formal model checking, detecting design bugs previously undetected during the traditional simulation-based verification process. Oki Semiconductor’s ASIC customer designs will now be verified by the @Verifier software, ensuring a higher level of confidence in uncovering design problems. The software, which has been installed at the Oki Semiconductor Design Centers in North America, will now be used on customer designs.

"As a major provider of ASIC semiconductor technology, we are pleased to have Oki Semiconductor select @HDL. Oki is leading the way for the ASIC market, with it’s recognition of the significant benefits derived from automatic property extraction and model checking," stated Tarak Parikh, @HDL Vice President of Product Engineering. "RTL sign-off is a challenging problem in the industry, with design teams looking to cut down on costly and time-consuming iterations. We look forward to working with Oki Semiconductor and their customers, to significantly improve functional verification productivity."

@Verifier and @Designer Features
@Verifier automatically extracts properties from RTL designs to uncover such problems as multiple clock domain synchronization errors, Finite State Machine (FSM) deadlock, and code reach-ability errors. In addition to detecting these tough problems, the automatic property extraction can find an extensive set of other bugs, including one-hot drivers and decoders, parallel and full case statements, unreachable and terminal state, never reachable conditions and codes, FIFO read/write and reset errors, index-out-of range, and stuck at zero/one. @Designer delivers a next generation graphical debugging and design analysis environment to quickly isolate functional errors during creation, formal model checking, simulation, and synthesis of Verilog-based designs. @Designer includes powerful new features not currently provided in other commercially available debuggers including execution tracing, multiple clock domain analysis and visualization, memory content tracing, and source code / memory breakpoints in post-processing mode.

About Oki Semiconductor
Building on Oki's century-long commitment to communications technologies and markets, Oki Semiconductor designs and markets a broad line of advanced integrated circuits for telecommunications, automotive, computer, and consumer products. Oki's product lines include telecommunications, RF, speech synthesis, ASIC, microcontroller, and memory devices, offered in a variety of creative packages. Founded in 1977 and headquartered in Sunnyvale, Calif., Oki Semiconductor is a division of Oki America Inc., which is a subsidiary of Oki Electric Industry Co, Ltd. Oki has ISO-9000-certified manufacturing facilities in Japan and Thailand. Information on Oki Semiconductor and its products is available through its Web site at: www.okisemi.com/us.

About @HDL
@HDL is a privately-held electronic design automation (EDA) company focused on accelerating functional verification of SOCs and silicon IP. The @Verifier and @Designer products deliver significant verification productivity improvement through system-level design analysis and debugging, automatic formal model checking, and tight integration with existing Verilog simulation environments. For more information, call (408) 441-1317, visit www.HDL.com or email to alain.dangerfield@oki.com.

For More Information Contact:
Richard Curtin (@HDL) (408) 441-1317 ext. 115 alain.dangerfield@oki.com

Scott Seiden (VitalCom PR) (650) 637-8212 ext. 208 alain.dangerfield@oki.com

Alain Dangerfield (Oki Semiconductor) (408) 737-6347 alain.dangerfield@oki.com

@Verifier and @Designer are trademarks of @HDL. All other trademarks or registered trademarks mentioned in this release are the property of their respective owners.