Die wachsende Beliebtheit der Systembeschreibungssprache SystemC trug wahrend der letzten sieben Jahre kontinuierlich zur Erweiterungen der zugehorigen Bibliothek und zur Definition eines eigenen Standards durch IEEE bei. Allerdings nehmen sowohl die Flexibilitat als auch die Machtigkeit der Sprache Einfluss auf die Komplexitat ihrer Analyse. So ist die Abbildung eines SystemC Modells auf ein statischess Modell, dessen Zustandsraum zur Laufzeit statisch ist, nicht immer moglich. In der vorliegenden Arbeit prasentieren wir ein Konzept zur Extraktion des Zustandsraumes zu einem gegebenen Zeitpunkt. Das vorgestellte Verfahren ist eine hybride Technik bestehend aus statischer und dynamischer Analyse. Da sich beide Techniken in diesem Ansatz erganzen, bleibt die Hierarchie des Zustandsraumes erhalten. Eine Anwendung fur diese Art der Analyse findet sich beispielsweise in Werkzeugen fur Synthese und Visualisierung.
展开▼