A hybrid methodology to enable the verification of temporal properties as system-level
- SoCs haben unterschiedliche Komplexitätsgrade und zudem werden kommende Generationen zunehmend komplexer. Allerdings bedeutet diese Zunahme an Komplexität und Funktionalität auch, dass die Lücke zwischen der Entwicklung des Designs und die Notwendigkeit der Verifizierung desselben immer größer wird. Um diese Lücke zu schließen, wird an neuen Techniken und Methoden geforscht. Aktuelle Trends, welche versuchen diese Lücke zu schließen, beinhalten einen höheren Abstraktionsgrad, eine Kombination von Verifikationsalgorithmen sowie Software-gesteuerte Verifizierung auf Systemebene. In dieser Arbeit konzentriere ich mich darauf, die Verifikationsergebnisse auf Systemebene zu verbessern. Tests unter Verwendung eines SoC-Prototypen konnten sowohl 75% der Architektur verifizieren wie auch die Anzahl an unbestimmten Eigenschaften der gesamten Architektur um zwei Größenordnungen reduzieren. Ich bin zuversichtlich, dass mein Ansatz hilft, die Verifizierungslücke zu schließen.
Download full text files
Additional Services
| Author: | Tomás GrimmORCiDGND |
|---|---|
| URN: | urn:nbn:de:hbz:294-62620 |
| DOI: | https://doi.org/10.13154/294-6262 |
| Referee: | Michael HübnerGND, Holger BlumeGND |
| Document Type: | Doctoral Thesis |
| Language: | English |
| Date of Publication (online): | 2019/02/06 |
| Date of first Publication: | 2019/02/06 |
| Publishing Institution: | Ruhr-Universität Bochum, Universitätsbibliothek |
| Granting Institution: | Ruhr-Universität Bochum, Fakultät für Elektrotechnik und Informationstechnik |
| Date of final exam: | 2018/09/28 |
| Creating Corporation: | Fakultät für Elektrotechnik und Informationstechnik |
| GND-Keyword: | Eingebettetes System; System-on-Chip; Hardware; Software; Internet der Dinge |
| Institutes/Facilities: | Lehrstuhl für Eingebettete Systeme der Informationstechnik |
| Dewey Decimal Classification: | Technik, Medizin, angewandte Wissenschaften / Elektrotechnik, Elektronik |
| faculties: | Fakultät für Elektrotechnik und Informationstechnik |
| Licence (German): |  Keine Creative Commons Lizenz - es gelten der Veröffentlichungsvertrag und das deutsche Urheberrecht |
