Renesas Technology Integrates Mentor Graphics 0-In Assertion Synthesis for Assertion Based Verification Flow

WILSONVILLE, Ore.—(BUSINESS WIRE)—March 22, 2005— Mentor Graphics Corporation (Nasdaq: MENT) today announced that Renesas Technology Corp. completed a joint development effort that integrates the Mentor Graphics(R) 0-In(R) Assertion Synthesis technology and assertion-based verification flows with Renesas' LogicBench rapid prototyping system. The cooperation results in a solution that gives Renesas the ability to specify assertions in any format and have them used throughout the verification process, from C-based system design through FPGA prototyping. Assertions provide the ability to detect and diagnose bugs earlier and faster than traditional methods enabling design teams to reach verification closure more effectively and efficiently.

Renesas specifically developed their LogicBench prototyping system to begin hardware-software integration and debugging well before silicon is available. However, use of FPGA-based prototyping methods can limit the ability to locally detect and debug hardware design errors. To address this problem, Renesas required technology that enabled assertions that are specified in any format, including standard assertion languages and libraries, to be compiled directly into LogicBench, providing observability comparable to software simulation. As the industry's leading solution for assertion-based verification, the 0-In Assertion Synthesis tool was chosen and extended to support the Renesas' verification flow.

"We needed an assertion-based verification method that includes simulation and formal verification to strengthen our verification solution based on LogicBench," stated Mr. Osamu Tada, department manager of System Level Design and Verification Technology, Design Technology Division, LSI Product Technology Unit of Renesas Technology Corp. "We selected Mentor's 0-In Assertion Synthesis technology because it provides the best solution for our target."

Assertion-based verification provides the observability and controllability required to verify today's complex system-on-chip (SoC) designs. Applying the 0-In Assertion Synthesis tool simplifies the specification of assertions by automatically extracting design data (for example: clocks, resets and variable names) from register-transfer level (RTL) code. This unique design inference capability allows assertions to automatically adapt to design changes and significantly reduces the maintenance required as the design evolves. Compared to other methods, the 0-In Assertion Synthesis technology significantly simplifies the task of finding and determining the cause of bugs. The 0-In Assertion Synthesis supports all standard assertion formats including Accellera's Property Specification Language (PSL), SystemVerilog assertions (SVA), the Open Verification Library (OVL), the CheckerWare(R) tool, and the 0-In assertion library. The assertions generated by the 0-In Assertion Synthesis system can be used with standard simulators, formal engines, emulators or hardware prototyping systems.

"Leading design teams require a full-range of assertion checkers and protocol monitors that are interoperable with leading verification tools. In order to take full advantage of the capabilities on LogicBench, Renesas needed a unique capability for gathering and reporting error detection and coverage information," stated Steven D. White, general manager of Mentor Graphics 0-In Verification Business Unit. "Our assertion synthesis technology provided the right answer."

About Mentor Graphics

Mentor Graphics Corporation (Nasdaq: MENT) is a world leader in electronic hardware and software design solutions, providing products, consulting services and award-winning support for the world's most successful electronics and semiconductor companies. Established in 1981, the company reported revenues over the last 12 months of over $700 million and employs approximately 3,850 people worldwide. Corporate headquarters are located at 8005 S.W. Boeckman Road, Wilsonville, Oregon 97070-7777; Silicon Valley headquarters are located at 1001 Ridder Park Drive, San Jose, California 95131-2314. World Wide Web site:

Mentor Graphics, 0-In and CheckerWare are registered trademarks of Mentor Graphics Corporation. All other company or product names are the registered trademarks or trademarks of their respective owners.

Mentor Graphics
Larry Toda, 503-685-1664

Email Contact
Ry Schwark, 503-685-1660

Email Contact

Review Article Be the first to review this article

Autodesk - DelCAM

Featured Video
Principal Research Mechatronics Engineer for Verb Surgical at Mountain View, CA
CAD Systems Administrator for KLA-Tencor at Milpitas, CA
Senior Mechanical Engineer for Verb Surgical at Mountain View, CA
Lead Geospatial Analyst for Alion at McLean, VA
Industrial Designer Intern – Spring 2017 for Nvidia at Santa Clara, CA
Upcoming Events
SOLIDWORKS 2017 Launch Event – Walsall at Village Hotel Club, Walsall, WS2 8TJ Walsall United Kingdom - Mar 30, 2017
PI APPAREL Hong Kong 2017 at SHANGRI-LA KOWLOON 64 Mody Road Tsim Sha Tsui East Kowloon Hong Kong - Apr 5 - 6, 2017
SOLIDWORKS intro and hands on session – Slough at Baylis House, Slough, Berkshire, SL1 3PB Slough United Kingdom - Apr 7, 2017
Engineer 3D! Training + Technology Conference at Hyatt Regency Milwaukee 333 West Kilbourn Avenue Milwaukee WI - Apr 25 - 26, 2017
SolidCAM: Patented Wizard to optimal feeds & speeds

Internet Business Systems © 2017 Internet Business Systems, Inc.
595 Millich Dr., Suite 216, Campbell, CA 95008
+1 (408)-337-6870 — 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 Policy Advertise