Cadence Design Systems, Inc. has 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."
"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."
Click here for more information
