FEST (Funktionale Verifikation von Systemen)
Project of edacentrum with the "Bundes Ministerium für Bildung und Forschung (BMBF)"
Schwerpunkte des Projekts
The research focus in the projekt part are the property generation, HW/SW Coverification, embedded software verification and semiformale verifikation methodes of embedded systems.
Mixed-Signal-Assertion Language (MSAL)
ab Juni 2007
MSAL (Mixed-Signal-Assertion Language)
Comprehensive property description language of heterogeneous systems.
Schwerpunkte des Projekts:
The research focus in the projekt part is the property specification language "mixed-signal assertion langugage" (MSAL). The comprehensive properties can be used for digital, analog and software domain. The language are implemented in the SystemC-AMS library (SystemC-AMS Temporal Checker [SCAC]).| Library: SystemC-AMS Temproal Checker |
SystemC-AMS Temproal Checker (SCAC) [Library for the property specification language MSAL]
Library: SystemC-Temporal-Checker Version 2.0 with SystemC 2.2.0 and SystemC-AMS 15RC [Compiled with GCC 4.3 / Kubuntu 9.04]
Download Library:
scac_lib_43[zip: 11 MB]
|
|---|