Ebook: Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme: GME/GI/ITG-Fachtagung Dortmund, 1./2. Oktober 1990

Das Buch enthält die am 1. und 2. Oktober 1990 in Dortmund auf der ersten gemeinsamen GME/GI/ITG-Fachtagung "Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme " gehaltenen Vorträge. Diese Fachtagung diente dem Austausch aktueller Erfahrungen und Forschungsergebnisse in den Bereichen "CAD für Mikroelektronik" und "Architekturen mikroelektronischer Systeme" im deutschsprachigen Raum. Die Vorträge über abgeschlossene Forschungen werden daher ergänzt durch Berichte über noch in der Entwicklung begriffene Systeme und konzeptionelle Vorarbeiten. Die Vorträge beziehen sich auf folgende Themen: - Spezifikation hochintegrierter Schaltungen - Architektur-, Logik-Synthese und Optimierung - Physikalischer Entwurf - Verifikation - Testmethoden und Zuverlässigkeit - Simulation und Modellierung - CAD-Umgebungen - Entwurfsmethodik und Entwurfsmanagement - Architekturen mikroelektronischer Systeme - Technologiemodellierung.

---

Das Buch enth?lt die am 1. und 2. Oktober 1990 in Dortmund auf der ersten gemeinsamen GME/GI/ITG-Fachtagung "Rechnergest?tzter Entwurf und Architektur mikroelektronischer Systeme " gehaltenen Vortr?ge. Diese Fachtagung diente dem Austausch aktueller Erfahrungen und Forschungsergebnisse in den Bereichen "CAD f?r Mikroelektronik" und "Architekturen mikroelektronischer Systeme" im deutschsprachigen Raum. Die Vortr?ge ?ber abgeschlossene Forschungen werden daher erg?nzt durch Berichte ?ber noch in der Entwicklung begriffene Systeme und konzeptionelle Vorarbeiten. Die Vortr?ge beziehen sich auf folgende Themen: - Spezifikation hochintegrierter Schaltungen - Architektur-, Logik-Synthese und Optimierung - Physikalischer Entwurf - Verifikation - Testmethoden und Zuverl?ssigkeit - Simulation und Modellierung - CAD-Umgebungen - Entwurfsmethodik und Entwurfsmanagement - Architekturen mikroelektronischer Systeme - Technologiemodellierung.

---

Das Buch enth?lt die am 1. und 2. Oktober 1990 in Dortmund auf der ersten gemeinsamen GME/GI/ITG-Fachtagung "Rechnergest?tzter Entwurf und Architektur mikroelektronischer Systeme " gehaltenen Vortr?ge. Diese Fachtagung diente dem Austausch aktueller Erfahrungen und Forschungsergebnisse in den Bereichen "CAD f?r Mikroelektronik" und "Architekturen mikroelektronischer Systeme" im deutschsprachigen Raum. Die Vortr?ge ?ber abgeschlossene Forschungen werden daher erg?nzt durch Berichte ?ber noch in der Entwicklung begriffene Systeme und konzeptionelle Vorarbeiten. Die Vortr?ge beziehen sich auf folgende Themen: - Spezifikation hochintegrierter Schaltungen - Architektur-, Logik-Synthese und Optimierung - Physikalischer Entwurf - Verifikation - Testmethoden und Zuverl?ssigkeit - Simulation und Modellierung - CAD-Umgebungen - Entwurfsmethodik und Entwurfsmanagement - Architekturen mikroelektronischer Systeme - Technologiemodellierung.
Content:
Front Matter....Pages N2-X
TANGO: Ein objektorientierter Ansatz zur Technologieanpassung von IC-Layouts....Pages 1-11
Hierarchical Netlist Extraction and Design Rule Check....Pages 12-23
HIPARE: Hierarchical Circuit and Parameter Extraction from Mask Layout Data....Pages 24-32
Synthese von Komplexgatter-Schaltnetzen unter Ber?cksichtigung der Transistoranzahl....Pages 33-41
Timing Driven Partitioning of Combinational Logic....Pages 42-51
?ber ein Min-Cross Kanalrouting-Problem....Pages 52-63
Diffusion — An Analytic Procedure Applied to Global Macro Cell Placement....Pages 64-74
Rechnergest?tzte Spezifikation in einer integrierten Entwurfsumgebung f?r anwendungsspezifische Systeme....Pages 75-90
A Concept of Defining Semantics of Concurrent Microprograms....Pages 91-103
A Methodology for Hierarchical Module Generator Specification....Pages 104-114
A New Allocation Method for the Synthesis of Partitioned Busses....Pages 115-129
Architekturentwurf f?r nebenl?ufige, funktionssichere Steuerungen....Pages 130-142
CASCH — ein Scheduling-Algorithmus f?r „High-Level“-Synthese....Pages 143-156
OASE: A Knowledge Based Environment for Analog Circuit Design....Pages 157-168
Zum automatischen Einf?gen von Testpunkten in sequentielle Schaltungen....Pages 169-181
Testbarkeitsanalyse beim hierarchischen top-down Entwurf....Pages 182-194
Ein Neues, Effizientes Verfahren zum Testpunkteinbau in Kombinatorischen Schaltungen....Pages 195-206
KOSIM — ein Mixed-Mode, Multi-Level-Simulator....Pages 207-220
ATTACC — an Automated Tool for Timing Analysis and Cell Characterization....Pages 221-230
Parallele Simulatoren f?r VLSI — Stand und Zukunftslinien des DISIM-Systems....Pages 231-243
Das Simulatorkopplungsprojekt....Pages 244-264
Automatisierter Entwurf von Schaltungen f?r die schnelle digit ale Signalverarbeitung....Pages 265-272
Optimierung von Schaltungen mit determinierten und statistischen Suchverfahren....Pages 273-284
Rapid Prototyping mikroelektronischer Hardware-Software-Systeme durch Emulation....Pages 285-296
Back Matter....Pages 297-299

---

Das Buch enth?lt die am 1. und 2. Oktober 1990 in Dortmund auf der ersten gemeinsamen GME/GI/ITG-Fachtagung "Rechnergest?tzter Entwurf und Architektur mikroelektronischer Systeme " gehaltenen Vortr?ge. Diese Fachtagung diente dem Austausch aktueller Erfahrungen und Forschungsergebnisse in den Bereichen "CAD f?r Mikroelektronik" und "Architekturen mikroelektronischer Systeme" im deutschsprachigen Raum. Die Vortr?ge ?ber abgeschlossene Forschungen werden daher erg?nzt durch Berichte ?ber noch in der Entwicklung begriffene Systeme und konzeptionelle Vorarbeiten. Die Vortr?ge beziehen sich auf folgende Themen: - Spezifikation hochintegrierter Schaltungen - Architektur-, Logik-Synthese und Optimierung - Physikalischer Entwurf - Verifikation - Testmethoden und Zuverl?ssigkeit - Simulation und Modellierung - CAD-Umgebungen - Entwurfsmethodik und Entwurfsmanagement - Architekturen mikroelektronischer Systeme - Technologiemodellierung.
Content:
Front Matter....Pages N2-X
TANGO: Ein objektorientierter Ansatz zur Technologieanpassung von IC-Layouts....Pages 1-11
Hierarchical Netlist Extraction and Design Rule Check....Pages 12-23
HIPARE: Hierarchical Circuit and Parameter Extraction from Mask Layout Data....Pages 24-32
Synthese von Komplexgatter-Schaltnetzen unter Ber?cksichtigung der Transistoranzahl....Pages 33-41
Timing Driven Partitioning of Combinational Logic....Pages 42-51
?ber ein Min-Cross Kanalrouting-Problem....Pages 52-63
Diffusion — An Analytic Procedure Applied to Global Macro Cell Placement....Pages 64-74
Rechnergest?tzte Spezifikation in einer integrierten Entwurfsumgebung f?r anwendungsspezifische Systeme....Pages 75-90
A Concept of Defining Semantics of Concurrent Microprograms....Pages 91-103
A Methodology for Hierarchical Module Generator Specification....Pages 104-114
A New Allocation Method for the Synthesis of Partitioned Busses....Pages 115-129
Architekturentwurf f?r nebenl?ufige, funktionssichere Steuerungen....Pages 130-142
CASCH — ein Scheduling-Algorithmus f?r „High-Level“-Synthese....Pages 143-156
OASE: A Knowledge Based Environment for Analog Circuit Design....Pages 157-168
Zum automatischen Einf?gen von Testpunkten in sequentielle Schaltungen....Pages 169-181
Testbarkeitsanalyse beim hierarchischen top-down Entwurf....Pages 182-194
Ein Neues, Effizientes Verfahren zum Testpunkteinbau in Kombinatorischen Schaltungen....Pages 195-206
KOSIM — ein Mixed-Mode, Multi-Level-Simulator....Pages 207-220
ATTACC — an Automated Tool for Timing Analysis and Cell Characterization....Pages 221-230
Parallele Simulatoren f?r VLSI — Stand und Zukunftslinien des DISIM-Systems....Pages 231-243
Das Simulatorkopplungsprojekt....Pages 244-264
Automatisierter Entwurf von Schaltungen f?r die schnelle digit ale Signalverarbeitung....Pages 265-272
Optimierung von Schaltungen mit determinierten und statistischen Suchverfahren....Pages 273-284
Rapid Prototyping mikroelektronischer Hardware-Software-Systeme durch Emulation....Pages 285-296
Back Matter....Pages 297-299
....