FEST (Funktionale Verifikation von Systemen)
Projekt des edacentrum mit dem Bundes Ministerium für Bildung und Forschung (BMBF)
Schwerpunkte des Projekts
Der Schwerpunkt unseres Arbeitspakets liegt bei der Eigenschaftsextraktion, HW/SW CoVerifikation, der hardwarenahen Software-Verifikation und semiformale Verifikation von eingebetteten Systemen.
Mixed-Signal-Assertion Language (MSAL)
ab Juni 2007
MSAL (Mixed-Signal-Assertion Language)
Domänenübergreifende Spezifikationssprache für heterogene Systeme.
Schwerpunkte des Projekts:
Der Schwerpunkt des Projekts liegt in der Erforschung und Entwicklung einer Eigenschaftssprache zum Spezifizieren von heterogenen System-Eigenschaften. Dabei handelt es sich domänenübergreifend Eigenschaften welche Software, digitale und analoge Hardware einbindet. Die Sparche wurde in einer SystemC-AMS-Bibliothek (SystemC-AMS Temporal Checker [SCAC]) implementiert
| Bibliothek: SystemC-AMS Temproal Checker |
SystemC-AMS Temproal Checker (SCAC) [Bibliothek der Eigenschaftsverifikationssprache MSAL]
Bibliothek: SystemC-Temporal-Checker Version 2.0 mit SystemC 2.2.0 und SystemC-AMS 15RC [Kompiliert mit GCC 4.3 / Kubuntu 9.04]
Download Biblothek:
scac_lib_43[zip: 11 MB]
|
|---|