Eintrag in der Universitätsbibliographie der TU Chemnitz
Volltext zugänglich unter
URN: urn:nbn:de:swb:ch1-200500518
Jerinic, Vasco
Müller, Dietmar (Prof. Dr.-Ing. habil.) ; Hardt, Wolfram (Prof. Dr. habil.) ; Brand, Hans-Jürgen (Dr.-Ing.) (Gutachter)
ParaGraph - Parameterprüfung für Intellectual Properties
Kurzfassung in deutsch
Beim Austausch von Intellectual Properties (IP) entsteht das Problem, daß der Anwender oftmals nicht sicher feststellen kann, ob die gewünschte Parameterkombination unterstützt wird bzw. ob die IP mit den gewünschten Einstellungen korrekt arbeitet. Ziel dieser Arbeit ist es, eine mögliche Lösung zur Parameterprüfung bereitzustellen. Im Rahmen des vom Bundesministerium für Bildung und Forschung (BMBF) geförderten Projekts Intellectual Property Qualifikation für effizientes Systemdesign [IPQ] wurde dazu das Entwurfswerkzeug entwickelt.Anhand einer durch den Entwerfer vorgegebenen formalen Beschreibung der Parameter und ihrer Abhängigkeiten untereinander prüft eine vom Werkzeug automatisch generierte Testbenchkomponente, ob alle Bedingungen eingehalten werden. Des weiteren berechnet diese Komponente auf der Basis vorgegebener Gleichungen verschiedene Systemeigenschaften, wie beispielsweise die maximale Taktfrequenzabweichung zwischen Sender und Empfänger einer seriellen Übertragungsstrecke. Diese können dann vom Anwender mit der ihm vorliegenden Spezifikation verglichen werden. ist außerdem in der Lage, anhand der Parameterabhängigkeiten die verschiedenen Kombinationen von Einstellungen zu berechnen, die nötig sind, um den kompletten Parameterraum abzudecken, und diese in Form eines Parameter-Domänen-Graphen darzustellen. Mit Hilfe dieses Graphen ist der Anwender in der Lage, Kombinationen gezielt so auszuwählen, daß ein möglichst hoher Verifikationsgrad der IP erreicht wird, ohne unnötig viele Simulationen durchführen zu müssen.
Universität: | TU Chemnitz | |
Institut: | Zentrale Fakultätseinrichtungen ET/IT | |
Fakultät: | Fakultät für Elektrotechnik und Informationstechnik | |
Dokumentart: | Dissertation | |
Betreuer: | Müller, Dietmar (Prof. Dr.-Ing. habil.) | |
URL/URN: | http://archiv.tu-chemnitz.de/pub/2005/0051 | |
SWD-Schlagwörter: | Integration , Parameterraum , Verifikation | |
Freie Schlagwörter (Deutsch): | Parameter-Domänen-Graph , Parameterprüfung , Verifikationsumgebung | |
Freie Schlagwörter (Englisch): | Functional Coverage , Intellectual Property | |
DDC-Sachgruppe: | Ingenieurwissenschaften | |
Tag der mündlichen Prüfung | 30.05.2005 |