Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme: GME/GI/ITG-Fachtagung Dortmund, 1./2. Oktober 1990 (Informatik-Fachberichte, 255) (German and English Edition)

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. 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 A utomated T ool for T iming A nalysis and C ell C haracterization....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