1 Einführende Beispiele. - 1. 1 Logische Gatter. - 1. 2 Leistungsschätzung. - 1. 3 RS Flip-Flop. - 1. 4 Dynamische CMOS-Logik. - 1. 5 Dividieren durch 2 Zähler. - 1. 6 Zusammenfassung. - 2 Mathematischer Hintergrund. - 2. 1 Mengen und Beziehungen. - 2. 2 Boolesche Algebra. - 2. 3 Ternäre Algebra. - 2. 4 gerichtete Graphen. - 3 Delay-Modelle. - 3. 1 Umgebungsmodi. - 3. 2 Gates mit Verspätungen. - 3. 3 ideale Verzögerungen. - 3. 4 Trägheitsverzögerungen. - 4 Gate-Schaltkreise. - 4. 1 Eigenschaften von Toren. - 4. 2 Klassen von Gate-Schaltkreisen. - 4. 3 Das Schaltungsdiagramm. - 4. 4 Netzwerkmodelle. - 4. 5 Modelle von komplexeren Toren. - 5 CMOS-Transistor-Schaltungen. - 5. 1 CMOS-Zellen. - 5. 2 kombinierbare CMOS-Schaltungen. - 5. 3 Allgemeine CMOS-Schaltungen. - 5. 4 Anregungsfunktionen der Knoten. - 5. 5 Modelle für die Pfadstärke. - 5. 6 Kapazitätseffekte. - 5. 7 Netzwerkmodell von CMOS-Schaltungen. - 6 Up-Bounded-Delay-Rennmodelle. - 6. 1 Das allgemeine Modell mit mehreren Gewinnern. - 6. 2 GMW-Analyse und UIN-Verzögerungen. - 6. 3 Das Ergebnis der GMW-Analyse. - 6. 4 Stabile Zustände und Feedback-State-Netzwerke. - 6. 5 GMW-Analyse und Netzmodelle. - 6. 6 Das erweiterte GMW-Modell. - 6. 7 Einzelsieger-Rennmodelle. - 6. 8 nach oben gerichtete ideale Verzögerungen. - 6. 9 Beweise. - 7 Ternäre Simulation. - 7. 1 Einführende Beispiele. - 7. 2 Algorithmus A. - 7. Algorithmus 3 Algorithmus B. - 7. Algorithmus 4 Feedback-Delay-Modelle. - 7. 5 Gefahren. - 7. 6 Ternäre Simulation und das GSW-Modell. - 7. 7 Ternäre Simulation und das XMW-Modell. - 7. 8 Beweise für die wichtigsten Ergebnisse. - 8 bi-beschränkte Verzögerungsmodelle. - 8. 1 Diskrete binäre Modelle. - 8. 2 Kontinuierliches binäres Modell. - 8. 3 Algorithmen für die kontinuierliche binäre Analyse. - 8. 4 Kontinuierliches ternäres Modell. - 8. 5 Diskretes ternäres Modell. - 9 Komplexität der Rassenanalyse. - 9. 1 Erreichbarkeit im stabilen Zustand. - 9. 2 Eingeschränkte Erreichbarkeit. - 10 Reguläre Sprachen und endliche Automaten. - 10. 1 Reguläre Sprachen. - 10. 2 Reguläre Ausdrücke. - 10. 3 Quotientengleichungen. - 10. 4 Endliche Automaten. - 10. 5 Äquivalenz und Reduktion der Automaten. - 10. 6 Nichtdeterministische Automaten. - 10. 7 Ausdrucksautomaten. - 11 Verhaltensweisen und Erkenntnisse. - 11. 1 Motivation. - 11. 2 Verhaltensweisen. - 11. 3 Projektionen von Implementierungen nach Spezifikationen. - 11. 4 relevante Wörter. - 11. 5 Richtige Verhaltensweisen. - 11. 6 Verwirklichung. - 11. 7 Verhaltensschemata. - 11. 8 Abschließende Bemerkungen. - 12 Arten von Verhaltensweisen. - 12. 1 Einführende Beispiele. - 12. 2 Spezifikationen für den fundamentalen Modus. - 12. 3 Netzwerkverhalten im fundamentalen Modus. - 12. 4 Direkte Verhaltensweisen. - 12. 5 serielle Verhaltensweisen. - 13 Einschränkungen von Up-Bounded-Delay-Modellen. - 13. 1 Verzögerungsunempfindlichkeit im Grundmodus. - 13. 2 Zusammengesetzte Funktionen. - 13. 3 Hauptsatz für den Grundmodus. - 13. 4 Verzögerungsunempfindlichkeit im Ein-/Ausgangsmodus. - 13. 5 Abschließende Bemerkungen. - 14 Symbolische Analyse. - 14. 1 Boolesche Funktionen darstellen. - 14. 2 Symbolische Darstellungen. - 14. 3 Symbolisches Verhalten ableiten. - 14. 4 Symbolische Rassenanalyse. - 14. 5 Symbolische Bestätigung der Verwirklichung. - 14. 6 Symbolische Modellprüfung. - 15 Entwurf asynchroner Schaltungen. - 15. 1 Einleitung. - 15. 2 Huffman-Schaltkreise im Grundmodus. - 15. 3 Hollaar-Kreise. - 15. 4 Burst-Mode-Schaltkreise. - 15. 5 Modulsynthese mit I-Netzen. - 15. 6 Signalübergangsdiagramme. - 15. 7 Diagramme ändern. - 15. 8 Protokolle in DI-Schaltkreisen. - 15. 9 Ebergens Methode der Spurentheorie. - 15. 10 Zusammenstellung von Kommunikationsprozessen. - 15. 11 Handshake-Schaltkreise. - 15. 12 modulbasierte Kompilierungssysteme. - 15. 13 DCVSL- und Interconnection-Module. - 15. 14 Mikropipelines. - 15. 15 Abschließende Bemerkungen. - Liste der Abbildungen. - Liste der Tabellen. - Liste mathematischer Konzepte. Sprache: Englisch