NEC adds Verplex tools to SoC design flow

NEC has endorsed the Verplex Systems Conformal Logic Equivalence Checker as the formal verification standard for use in all of its worldwide technology development.

NEC has endorsed the Verplex Systems Conformal Logic Equivalence Checker as the formal verification standard for use in all of its worldwide technology development and designated it an OpenCAD software tool.

OpenCAD is NEC's integrated, large-scale SoC design and development environment.

Conformal LEC is now available for NEC's 0.13-micron process technology, and will be available to support all future technologies.

Previously, Conformal LEC supported NEC's 0.18-micron process technology.

"Because our customer designs are complex and highly advanced, we need to offer a high-speed and reliable formal verification solution", says Nobuyuki Nishiguchi, NEC's department manager of design methodology, Systems LSI Design Engineering Division.

"Conformal LEC from Verplex offers them the highest accuracy, ease-of-use and reliable quality of results".

Adds Masabumi Doi, director of DA Solutions Division, Marubeni Solutions, Verplex Systems' distributor in Japan: "We worked with Verplex Systems to ensure the latest version of Conformal LEC meets the unique requirements of NEC's design environment for large-scale SoCs and provides a seamless flow for their customers".

"NEC's worldwide reputation as a first-class supplier of high-speed ASICs and leading-edge design environment makes this an important and welcomed endorsement", affirms Tom Senna, vice president of Marketing and Business Development.

"It will benefit our mutual customers by increasing their overall design quality while decreasing their time to market".

Back to top