white paper
Konica Minolta Proves C++ Level Signoff Possibilities Using Catapult HLS Platform
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.