1 Esempi introduttivi. - 1. 1 Porte logiche. - 1. 2 Stima delle prestazioni. - 1. 3 infradito RS. - 1. 4 Logica CMOS dinamica. - 1. 5 Contatore Dividi per 2. - 1. 6 Riassunto. - 2 Background matematico. - 2. 1 Insiemi e relazioni. - 2. 2 Algebra booleana. - 2. 3 Algebra ternaria. - 2. 4 Grafi diretti. - 3 modelli di ritardo. - 3. 1 Modalità ambiente. - 3. 2 Cancelli con Ritardi. - 3. 3 Ritardi ideali. - 3. 4 Ritardi inerziali. - 4 circuiti di cancelli. - 4. 1 Proprietà dei cancelli. - 4. 2 classi di circuiti di cancelli. - 4. 3 Il grafo dei circuiti. - 4. 4 modelli di rete. - 4. 5 modelli di cancelli più complessi. - 5 circuiti a transistor CMOS. - 5. 1 Celle CMOS. - 5. 2 circuiti CMOS combinatori. - 5. 3 circuiti CMOS generali. - 5. 4 funzioni di eccitazione dei nodi. - 5. 5 modelli di forza del percorso. - 5. 6 effetti di capacità. - 5. 7 Modello di rete dei circuiti CMOS. - 6 modelli da gara con ritardo in salita. - 6. 1 Il modello generale a vincitore multiplo. - 6. 2 Analisi GMW e ritardi UIN. - 6. 3 L'esito dell'analisi GMW. - 6. 4 Stati stabili e reti di stati di feedback. - 6. 5 Analisi GMW e modelli di rete. - 6. 6 Il modello GMW esteso. - 6. 7 modelli da corsa con un solo vincitore. - 6. 8 ritardi ideali in rialzo. - 6. 9 Prove. - 7 Simulazione ternaria. - 7. 1 Esempi introduttivi. - 7. 2 Algoritmo A. - 7. 3 Algoritmo B. - 7. 4 modelli di ritardo di feedback. - 7. 5 Pericoli. - 7. 6 Simulazione ternaria e modello GSW. - 7. 7 Simulazione ternaria e modello XMW. - 7. 8 Prove dei risultati principali. - 8 modelli di ritardo bi-bounded. - 8. 1 Modelli binari discreti. - 8. 2 Modello binario continuo. - 8. 3 algoritmi per l'analisi binaria continua. - 8. 4 Modello ternario continuo. - 8. 5 Modello ternario discreto. - 9 Complessità dell'analisi della razza. - 9. 1 Raggiungibilità in stato stabile. - 9. 2 Raggiungibilità limitata. - 10 linguaggi regolari e automi finiti. - 10. 1 Lingue regolari. - 10. 2 espressioni regolari. - 10. 3 Equazioni quozienti. - 10. 4 Automi finiti. - 10. 5 Equivalenza e riduzione degli automi. - 10. 6 Automi non deterministici. - 10. 7 Automi di espressione. - 11 Comportamenti e realizzazioni. - 11. 1 Motivazione. - 11. 2 comportamenti. - 11. 3 Proiezioni delle implementazioni secondo le specifiche. - 11. 4 parole pertinenti. - 11. 5 comportamenti corretti. - 11. 6 Realizzazione. - 11. 7 schemi di comportamento. - 11. 8 Osservazioni conclusive. - 12 tipi di comportamenti. - 12. 1 Esempi introduttivi. - 12. 2 Specifiche della modalità fondamentale. - 12. 3 Comportamenti di rete in modalità fondamentale. - 12. 4 Comportamenti diretti. - 12. 5 Comportamenti seriali. - 13 Limitazioni dei modelli di ritardo upbounded. - 13. 1 Insensibilità al ritardo in modalità fondamentale. - 13. 2 funzioni composite. - 13. 3 Teorema principale per il modo fondamentale. - 13. 4 Insensibilità al ritardo in modalità Input/Output. - 13. 5 Osservazioni conclusive. - 14 Analisi simbolica. - 14. 1 Rappresentazione di funzioni booleane. - 14. 2 Rappresentazioni simboliche. - 14. 3 Derivare comportamenti simbolici. - 14. 4 Analisi simbolica della razza. - 14. 5 Verifica simbolica della realizzazione. - 14. 6 Controllo simbolico del modello. - 15 Progettazione di circuiti asincroni. - 15. 1 Introduzione. - 15. 2 circuiti di Huffman in modalità fondamentale. - 15. 3 Circuiti di Hollaar. - 15. 4 circuiti in modalità burst. - 15. Sintesi di 5 moduli utilizzando I-Nets. - 15. 6 grafici di transizione del segnale. - 15. 7 Diagrammi di cambiamento. - 15. 8 Protocolli nei circuiti DI. - 15. 9 Metodo della teoria delle tracce di Ebergen. - 15. 10 Compilazione dei processi comunicanti. - 15. 11 circuiti di handshake. - 15. 12 Sistemi di compilazione basati su moduli. - 15. 13 DCVSL e moduli di interconnessione. - 15. 14 Microcondutture. - 15. 15 Osservazioni conclusive. - Elenco delle figure. - Elenco delle tabelle. - Elenco di concetti matematici. Lingua: Inglese