Konica Minolta Proves C++ Level Signoff Possibilities Using Catapult HLS Platform

A team’s ultimate goal is to move verification up to the C++ level in order to minimize the time spent in RTL verification and to achieve C++ signoff. A team at Konica Minolta®—responsible for designs that support Konica Minolta’s multifunctional peripherals, professional digital printing systems, healthcare ultrasound diagnostic equipment, and new businesses—have been using the Catapult® HLS Platform for many years to dramatically improve their productivity by coding at the C++ level and using the platform to generate RTL.

Filling the gap between High-Level Synthesis (HLS) design abstraction and verification abstraction for productivity

We recognized that filling the gap between High-Level Synthesis (HLS) design abstraction and verification abstraction could make further improvements on productivity, based on our many years of Catapult experience. We have been evaluating the high-level verification tools and technology that Siemens Digital Industries Software added to the HLS flow for filling the gap and provided feedback to the Catapult team. This paper documents our adoption of this high-level verification flow.