Mentor Ushers in New Era of C++ Verification Signoff with New Catapult Tools and Solutions
June 6, 2017 -- Mentor, a Siemens business, today announced three new tools - Catapult® Coverage, Catapult Design Checks and SLEC® HLS – and enhancements to Catapult HLS. These new tools and enhancements further strengthen Mentor’s High-Level Synthesis (HLS) tool portfolio, which enables logic chip designers to cut project schedules by over 50 percent for applications such as machine vision, machine learning, high-performance telecommunications, video, and image processing. The new tools and enhancements bring register-transfer level (RTL)-quality verification and methodologies to the C-language level, enabling chip architects and designers to design and verify in C++/SystemC more quickly with added confidence.
“We are excited to be at the forefront of HLS innovation and driving the next-generation ecosystem,” said Badru Agarwala, general manager, Calypto Systems Division at Mentor. “An increasing number of customers are moving from RTL to HLS as a key competitive advantage, because it enables complex designs with late-changing specifications to cut project schedules in half or do twice as much with the same resources. This milestone of C++ verification signoff deliverables now makes it even easier for RTL designers and system architects to move to HLS with confidence.”
Catapult DesignChecks
The new Catapult DesignChecks tool helps users quickly and easily find bugs as they are coding, saving debug time in simulation and synthesis. Catapult DesignChecks has two modes; a static mode that performs very fast linting-like checks of the code and a formal mode that uses a formal engine for a more exhaustive proof of issues. Both modes support C++ and SystemC and focus on hardware- oriented checks such as out-of-bounds reads/writes and uninitialized memory reads that are difficult to find in simulation. Catapult DesignChecks is easy to use and requires no testbench.
Catapult Coverage
The new Catapult Coverage tool allows users to accurately measure code coverage for C++ signoff and fast closure of synthesized RTL. Unlike other tools that measure coverage on C/C++, Catapult Coverage is synthesis-aware. This means that it accurately reports coverage for HLS use-cases (such as loop-unrolling, function inlining, and bit-accurate datatypes), which is very important so that results match the structural coverage of the RTL with no additional user effort. It supports line, branch, statement and (soon) expression coverage. It also automatically generates Mentor’s unified coverage database (UCDB), giving users RTL-quality coverage metrics and analysis tools using the Questa Verification Management suite.
SLEC HLS
The new C-to-RTL-Equivalence SLEC (sequential logic equivalence checking) HLS tool formally verifies C++/SystemC source to Catapult-synthesized RTL, dramatically reducing or eliminating the need for design teams to perform simulation/verification of RTL. Design teams have used the SLEC family of tools in production for over 10 years for C-to-RTL formal equivalence with a manual setup. SLEC HLS is a new addition that Mentor has tightly integrated with Catapult HLS to generate an automatic setup, enabling the fastest possible path for verification. It avoids the “all or nothing” problem often found in formal equivalence by employing a coverage methodology that highlights exactly which code still needs to be tested if a full proof could not be achieved. SLEC HLS enables designers to have the ultimate confidence to move to high-level synthesis.
UVM Framework Generation
Catapult can now automatically generate a complete ready-to-use universal verification methodology (UVM) environment using the UVM Framework. This provides the RTL and system-on-chip (SoC) verification teams with a complete verification environment for the synthesized RTL that is easily modifiable and still has all of the power of UVM with constrained random, re-use of C tests and the HLS C model as a predictor. Teams can use this environment as-is for block verification or in a higher level UVM environment for sub-system/SoC verification.
Related Semiconductor IP
- 1.8V/3.3V I/O library with ODIO and 5V HPD in TSMC 16nm
- 1.8V/3.3V I/O Library with ODIO and 5V HPD in TSMC 12nm
- 1.8V to 5V GPIO, 1.8V to 5V Analog in TSMC 180nm BCD
- 1.8V/3.3V GPIO Library with HDMI, Aanlog & LVDS Cells in TSMC 22nm
- Specialed 20V Analog I/O in TSMC 55nm
Related News
- Mentor Graphics Extends Catapult C Synthesis Product; Enables 20X to 100X Faster Verification with SystemC
- STMicroelectronics Certifies Mentor Graphics Catapult C Synthesis Libraries and Joins Silicon Vendor Partners Program
- Mentor Graphics Introduces Catapult SL, the First High-Level Synthesis Tool to Create High-Performance Subsystems from Pure ANSI C++
- Mentor Graphics and Altera announce Catapult C Synthesis Accelerated Libraries for High-Performance DSP Hardware in FPGA
Latest News
- Will RISC-V reduce auto MCU’s future risk?
- Frontgrade Gaisler Launches New GRAIN Line and Wins SNSA Contract to Commercialize First Energy-Efficient Neuromorphic AI for Space Applications
- Continuous-Variable Quantum Key Distribution (CV-QKD) system demonstration
- Latest intoPIX JPEG XS Codec Powers FOR-A’s FA-1616 for Efficient IP Production at NAB 2025
- VeriSilicon Launches ISP9000: The Next-Generation AI-Embedded ISP for Intelligent Vision Applications