Oki Standardizes on the Cadence Incisive Formal Verifier for Design Team Usage

SAN JOSE, CA -- (MARKET WIRE) -- Jul 10, 2006 -- Cadence Design Systems, Inc. (NASDAQ: CDNS) today announced that Oki Electric Industry Co., Ltd. has standardized on Incisive Formal Verifier for formal assertion-based verification (ABV). Oki has realized improvements in product delivery and overall quality by incorporating Cadence® Incisive® Formal Verifier early in the design phase. Incisive Formal Verifier enables Oki's design teams to begin verification months before testbench simulation and to quickly expose design bugs that would have been very difficult to locate and extremely costly and crippling later in the product delivery cycle.

"Quick and reliable verification of DSP cores used across VoIP LSI products is extremely important to our business," said Yasuhiro Ohno, senior manager, Telecom LSI Design Department in the Telecom & Automotive System Business Division, Oki Electric's Silicon Solutions Company. "In the past we effectively improved verification closure in our simulation runs with dynamic assertion-based verification. By adding formal assertion-based verification in the flow prior to simulation, Incisive Formal Verifier has proven to shave months off our schedule and improve overall design quality. Based on our experiences, we'll be aggressively deploying Incisive Formal Verifier broadly to design and verification teams to improve our time to market."

Incisive Formal Verifier is the perfect fit for design teams looking to add functional verification capabilities early in the overall design process. As part of a complete assertion-based verification flow, Incisive Formal Verifier has the ability to verify design blocks prior to testbench simulation and discover functional bugs much earlier, and at a lower cost. Broad assertion language support, including PSL (IEEE 1850) and SVA (IEEE 1800), and assertions libraries such as Accellera's Open Verification Library, makes it easy to adopt in any flow. Incisive Formal Verifier, used with the formal analysis methodology shortens individual block-development efforts. As the design moves into the block-integration phase, the same assertions are reused across formal, simulation and acceleration/emulation, improving the effectiveness in the verification flow, particularly by reducing integration and debug times.

"We are happy to see a highly respected customer such as Oki use Incisive Formal Verifier to improve their overall verification process," said Steve Glaser, corporate vice president of marketing, Cadence Verification Division. "The results Oki achieved are similar to the results many of our customers are seeing. Formal analysis employed early in the design cycle and as part of complete assertion-based verification flow has tremendous payoffs."

About Cadence

Cadence enables global electronic-design innovation and plays an essential role in the creation of today's integrated circuits and electronics systems. Customers use Cadence software and hardware, methodologies, and services to design and verify advanced semiconductors, printed-circuit boards and systems used in consumer electronics, networking and telecommunications equipment, and computer systems. Cadence reported 2005 revenues of approximately $1.3 billion, and has approximately 5,000 employees. The company is headquartered in San Jose, Calif., with sales offices, design centers, and research facilities around the world to serve the global electronics industry. More information about the company, its products, and services is available at www.cadence.com.

Cadence, the Cadence logo and Incisive are registered trademarks of Cadence Design Systems in the United States and other countries. All other trademarks are the property of their respective owners.

For more information, please contact:
Wendy Hynes
Text 100 for Cadence Design Systems, Inc.

Email Contact

Review Article Be the first to review this article

SolidCAM - Break The Chains

Featured Video
System Designer/Engineer for Bluewater at Southfield, Michigan
Mid-Level Mechanical Engineer for Kiewit at lenexa, Kansas
Mechanical Engineer for Allen & Shariff Corporation at Pittsburgh, Pennsylvania
Geospatial Analyst/Programmer for LANDIQ at Sacramento, California
Product Manager for CHA Consulting, Inc. at Boston, Massachusetts
GIS Data Analyst for CostQuest Associates, Inc. at Cincinnati, Ohio
Upcoming Events
ESPRIT World 2018 at Indianapolis Marriott Downtown 350 West Maryland Street Indianapolis IN - Jun 11 - 15, 2018
HxGN LIVE 2018 at The Venetian Las Vegas NV - Jun 12 - 15, 2018
IMTS2018 International Manufacturing Tech Show at McCormick Place Chicago IL - Sep 10 - 15, 2018
4th International Conference on Sensors and Electronic Instrumentation Advances (SEIA' 2018) at Movenpick Hotel Amsterdam City Centre Amsterdam Netherlands - Sep 19 - 21, 2018
Kenesto: 30 day trial

Internet Business Systems © 2018 Internet Business Systems, Inc.
25 North 14th Steet, Suite 710, San Jose, CA 95112
+1 (408) 882-6554 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering EDACafe - Electronic Design Automation GISCafe - Geographical Information Services TechJobsCafe - Technical Jobs and Resumes ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise