| Document Type
|
:
|
BL
|
| Record Number
|
:
|
881801
|
| Main Entry
|
:
|
Brandau, Christoph.
|
| Title & Author
|
:
|
Modellierung und Transformation Digitaler Schaltungen Mittels Digital Circuit Petri Nets
|
| Publication Statement
|
:
|
Wiesbaden :: Vieweg,, 2019.
|
| Page. NO
|
:
|
1 online resource (301 pages)
|
| ISBN
|
:
|
3658252448
|
|
|
:
|
: 9783658252441
|
|
|
:
|
365825243X
|
|
|
:
|
9783658252434
|
| Contents
|
:
|
Intro; Geleitwort; Vorwort; Inhaltsverzeichnis; Symbolverzeichnis; Eigenschaften; Strategien; Abbildungsverzeichnis; Tabellenverzeichnis; Listingsverzeichnis; Algorithmenverzeichnis; Kurzfassung; 1 Einleitung; 1.1 Motivation; 1.2 Ziel der Arbeit; 1.3 Aufbau der Arbeit; 2 Grundlagen und Stand der Technik; 2.1 Petri-Netze; 2.1.1 Einsatzgebiete; 2.1.2 Definition; 2.1.3 High-Level Petri-Netze; 2.1.4 Analyse; 2.2 Digitalschaltungen; 2.2.1 Kombinatorische Logik; 2.2.2 Asynchron-Schaltwerke; 2.2.3 Synchron-Schaltwerke; 2.2.4 Hazards; 2.3 Hardwarebeschreibungssprachen; 2.3.1 VHDL; 2.3.2 Verilog
|
|
|
:
|
2.4 Endliche Automaten2.5 Stand der Forschung; 3 Digital Circuit Petri Nets; 3.1 Erweiterungen; 3.1.1 Ein- und Ausgangsstellen; 3.1.2 Subnetze; 3.2 Definition; 3.3 Eigenschaften; 3.3.1 Erreichbarkeitsgraph; 3.3.2 Lebendigkeit und Terminierung; 3.3.3 Markierungen; 3.3.4 Invarianten; 3.4 Simulation; 4 Transformation von DCPN nach VHDL; 4.1 Schaltelementerzeugung; 4.1.1 Kombinatorische Logik; 4.1.2 Takterzeugung fur sequentielle Logik; 4.1.3 Sequentielle Logik; 4.2 System zur Transformation; 4.3 Validierung des Netzes; 4.4 Optimierung des Netzes; 4.5 Netzanalyse; 4.6 Synthese
|
|
|
:
|
4.6.1 Kombinatorische Logik4.6.2 Sequentielle Schaltungen; 4.7 Erzeugung der VHDL-Beschreibung; 4.7.1 Erzeugung der Schnittstelle; 4.7.2 Kombinatorik; 4.7.3 Sequentiell; 4.8 Verifikation der Schaltung; 4.9 Analyse bestehender digitaler Schaltungen; 4.10 Gesamtuberblick Transformationsprozess; 5 Implementierung und Validierung; 5.1 Logical PetriNet; 5.1.1 Platzierungsoptimierung; 5.1.2 Universelle Exportschnittstelle; 5.1.3 Logger; 5.1.4 Markenspiel; 5.1.5 Analyse; 5.1.6 Simulation; 5.1.7 Transformation; 5.1.8 Funktionsbibliothek; 5.1.9 Interner Aufbau; 5.1.10 Validierung
|
|
|
:
|
5.2 Regeln zur Modellierung5.3 Transformation exemplarischer DCPN; 5.3.1 Multiplexer; 5.3.2 Addierer; 5.3.3 Lauicht; 5.3.4 Register; 5.3.5 Arithmetisch Logische Einheit; 6 Fazit und Abgrenzung; 7 Zusammenfassung und Ausblick; 7.1 Zusammenfassung; 7.2 Ausblick; Literaturverzeichnis; Anhang
|
| LC Classification
|
:
|
QA76.9.L63TK7888.4TK
|