HLDSC+ - Eine Umgebung zum effizienten High-Level-Debugging von SystemC/TLM-Modellen

摘要

Mit der prototypischen Implementierung unserer Debugging-Umgebung HLDSC+ wurde der GNU-Debugger gdb um Kommandos zum Debuggen von SystemC/TLM2.0-Spezifikationen auf hohem Abstraktionsniveau erweitert. Die Anwendung von HLDSC+ erleichtert es dem Nutzer, Fehler in einer solchen Spezifikation zu finden und zu beseitigen. Das zugrundeliegende Konzept verzichtet auf nicht-transparente Veranderungen des Simulations-Kernels von SystemC und zielt auf eine einfache Steuer- und Beobachtbarkeit sowie auf adaquate Darstellung relevanter Daten der High-Level-Spezifikation.