Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=0*
Treffer 450 von 3777
|
|
| Link zu diesem Datensatz | https://d-nb.info/1049381300 |
| Art des Inhalts | Hochschulschrift |
| Titel | A Property Checking Methodology for Weakly Programmable System-on-Chip IPs : Eine Methode zur Eigenschaftsprüfung von schwach programmierbaren System-on-Chip IPs / Sacha Loitz |
| Person(en) | Loitz, Sacha (Verfasser) |
| Ausgabe | 1. Aufl. |
| Verlag | Aachen : Shaker |
| Zeitliche Einordnung | Erscheinungsdatum: 2014 |
| Umfang/Format | Online-Ressource : 3 farb. Ill. (pdf) |
| Andere Ausgabe(n) | Erscheint auch als Druck-Ausgabe: Loitz, Sacha: A property checking methodology for weakly programmable system-on-chip IPs |
| Hochschulschrift | Zugl.: Technische Universität Kaiserslautern, Diss., 2013 |
| Persistent Identifier | URN: urn:nbn:de:101:1-201403306789 |
| ISBN/Einband/Preis | 978-3-8440-2468-5 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Berichte aus der Halbleitertechnik |
| Anmerkungen | Lizenzpflichtig |
| Schlagwörter | Anwendungsspezifischer Prozessor ; System-on-Chip ; IP-Core ; Model Checking ; Programmverifikation ; Formale Methode |
| DDC-Notation | 004.25 [DDC22ger]; 621.395 [DDC22ger] |
| Sachgruppe(n) | 004 Informatik ; 621.3 Elektrotechnik, Elektronik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 450 von 3777
Administration
