SystemC Based Verification of Complex Heterogeneous Systems

Buchtitel

CPMNS Tagungsband

Titel der Konferenz

Cyber-Physical Systems - Enabling Multi-Nature Systems (CPMNS)

Alle Autoren

Görgen, Ralph; Kleen, Henning; Oetjens, Jan-Hendrik; Jores, Peter; Nebel, Wolfgang

Jahr

2012

Automatische Übersetzung von MATLAB/Simulink-Modellen nach SystemC-AMS

Titel der Konferenz

14. Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" MBMV 2011

Alle Autoren

Kleen, Henning; Xiao, Shangkun; Görgen, Ralph; Bannow, Nico; Nebel, Wolfgang

Jahr

2011

Towards a Synthesis Semantics for SystemC Channels

Titel der Konferenz

International Conference on Hardware-Software Codesign and System Synthesis (CODES+ISSS)

Alle Autoren

Grüttner, Kim; Kleen, Henning; Oppenheimer, Frank; Rettberg, Achim; Nebel, Wolfgang

Jahr

2010

Modeling of Embedded Software Multitasking in SystemC/OSSS

Buchtitel

Languages for Embedded Systems and their Applications

Alle Autoren

Hartmann, Philipp A.; Reinkemeier, Philipp; Kleen, Henning; Nebel, Wolfgang

Jahr

2009

Efficient modelling and simulation of embedded software multi-tasking using SystemC and OSSS

Titel der Konferenz

Forum on Specification, Verification and Design Languages, 2008. FDL 2008.

Alle Autoren

Hartmann, Philipp A.; Reinkemeier, Philipp; Kleen, Henning; Nebel, Wolfgang

Jahr

2008

Titel

Effizienzanalyse synthetisierter Hardware-Software-Kommunikation am Beispiel eines hardwarebeschleunigten MPEG-Audio-Dekoders

Buchtitel

Tagungsband des ITG/GMM/GI-Workshops Methoden und Beschreibungssprachen zur Modellierung und Verifik ation von Schaltungen und Systemen

Alle Autoren

Kleen, Henning; Oppenheimer, Frank; Nebel, Wolfgang

Jahr

2008

OSSS - A Library for Synthesisable System Level Models in SystemC(TM) - A tutorial for OSSS 2.0

Alle Autoren

Brunzema, Claus; Grabbe, Cornelia; Grüttner, Kim; Hartmann, Philipp Andreas; Herrholz, Andreas; Kleen, Henning; Oppenheimer, Frank; Schallenberg, Andreas; Stehno, Christian; Schubert, Thorsten

Jahr

2007

Titel

Effizienzanalyse methodenbasierter Hardware/Software Kommunikation aus Synthesesicht

Alle Autoren

Kleen, Henning

Jahr

2007