Renesas Technology Integrates Mentor Graphics 0-In Assertion Synthesis for Assertion Based Verification Flow
WILSONVILLE, Ore., March 22, 2005- Mentor Graphics Corporation (Nasdaq: MENT) today announced that Renesas Technology Corp. completed a joint development effort that integrates the Mentor Graphics® 0-In® 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® 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: http://www.mentor.com.
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.
|
Related News
- Mentor Graphics Delivers Enhanced 0-In Clock Domain Crossing and Formal Verification Technology
- Mentor Graphics Releases 0-In CDC Version 3.0 to Support Verification Needs of Larger, More Complex Designs
- Mentor Graphics and Calypto Design Systems Announce Customer-Proven Electronic System Level Synthesis and Verification Flow Featuring Catapult C Synthesis and SLEC Sequential Equivalence Checker
- Mentor Graphics Enters Into Agreement to Acquire 0-In Design Automation
- Cadence and 0-In Collaborate to Deliver Superior Assertion-Based Verification
Breaking News
- Ubitium Debuts First Universal RISC-V Processor to Enable AI at No Additional Cost, as It Raises $3.7M
- TSMC drives A16, 3D process technology
- Frontgrade Gaisler Unveils GR716B, a New Standard in Space-Grade Microcontrollers
- Blueshift Memory launches BlueFive processor, accelerating computation by up to 50 times and saving up to 65% energy
- Eliyan Ports Industry's Highest Performing PHY to Samsung Foundry SF4X Process Node, Achieving up to 40 Gbps Bandwidth at Unprecedented Power Levels with UCIe-Compliant Chiplet Interconnect Technology
Most Popular
- Cadence Unveils Arm-Based System Chiplet
- CXL Fabless Startup Panmnesia Secures Over $60M in Series A Funding, Aiming to Lead the CXL Switch Silicon Chip and CXL IP
- Esperanto Technologies and NEC Cooperate on Initiative to Advance Next Generation RISC-V Chips and Software Solutions for HPC
- Eliyan Ports Industry's Highest Performing PHY to Samsung Foundry SF4X Process Node, Achieving up to 40 Gbps Bandwidth at Unprecedented Power Levels with UCIe-Compliant Chiplet Interconnect Technology
- Arteris Selected by GigaDevice for Development in Next-Generation Automotive SoC With Enhanced FuSa Standards
E-mail This Article | Printer-Friendly Page |