Die Verifikation von RISC-V-Cores stellt für Core-Anbieter und SoC-Integratoren mit Blick auf die Sicherheit, Funktionaliät und Vertrauenswürdigkeit eine Herausforderung dar. Eine von beiden Seiten nutzbare Lösung eines Drittanbieters kann hier helfen.
By Vlada Kalinic, SystemC Verification, Product Manager, OneSpin Solutions
Although SystemC/C++ coding styles have been used for many years, specific models have recently emerged to drive common design flows across engineering teams. These include abstract algorithmic design code as input for high-level synthesis (HLS) tools, virtual platform models for early software test, configurable intellectual property (IP) blocks, and many more.
HLS, which transforms “mostly untimed” abstract SystemC/ C++ design representations to fully-timed register-transfer-level (RTL) design blocks, is in use at many large semiconductor and electronic systems companies. These tools are particularly popular as a method to rapidly generate design components with varying microarchitectures, whilst rapidly and effectively optimizing algorithm-processing data paths. Their use on control logic, as well as components with more detailed timing in general, is also becoming more widespread.