Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Book title Buchtitel
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Results 1-2 of 2 (Search time: 0.002 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | Rafaila, Monika ; Decker, Christian ; Grimm, Christoph ; Einwich, Karsten ; Markwirth, Torsten ; Pelz, Georg | New Methods for System-level Verification using SystemC-AMS extensions: Application to an Automotive ECU | Konferenzbeitrag Inproceedings | 2009 | |
2 | Grimm, Christoph ; Brame, Florian ; Schroll, Rüdiger ; Waldschmidt, Klaus | Top-Down Design analog/digitaler Systeme mit SystemC-AMS | Konferenzbeitrag Inproceedings | 2007 |