§15§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. §03§Sitzung 1.- TANGO: Ein objektorientierter Ansatz zur Technologieanpassung von IC-Layouts.- Hierarchical Netlist Extraction and Design Rule Check.- HIPARE: Hierarchical Circuit and Parameter Extraction from Mask Layout Data.- Sitzung 2.- Synthese von Komplexgatter-Schaltnetzen unter Berücksichtigung der Transistoranzahl.- Timing Driven Partitioning of Combinational Logic.- Über ein Min-Cross Kanalrouting-Problem.- Diffusion - An analytic procedure applied to global macro cell placement.- Sitzung 3.- Rechnergestützte Spezifikation in einer Integrierten Entwurfsumgebung für anwendungsspezifische Systeme.- A Concept of Defining Semantics of Concurrent Microprograms.- A Methodology for Hierarchical Module Generator Specification.- Sitzung 4.- A New Allocation Method for the Synthesis of Partitioned Busses.- Architekturentwurf für nebenläufige, funktionssichere Steuerungen.- CASCH - ein Scheduling-Algorithmus für "High-Level"-Synthese.- OASE: A Knowledge Based Environment for Analog Cir §03§cuit Design.- Sitzung 5.- Zum automatischen Einfügen von Testpunkten in sequentielle Schaltungen.- Testbarkeitsanalyse beim hierarchischen top-down Entwurf.- Ein neues, effizientes Verfahren zum Testpunkteinbau in kombinatorischen Schaltungen.- Sitzung 6.- KOSIM - ein Mixed-Mode, Multi-Level-Simulator.- ATTACC - an Automated Tool for Timing Analysis and Cell Characterization.- Parallele Simulatoren für VLSI - Stand und Zukunftslinien des DISIM-Systems.- Das Simulatorkopplungsprojekt.- Sitzung 7.- Automatisierter Entwurf von Schaltungen für die schnelle digitale Signalverarbeitung.- Optimierung von Schaltungen mit determinierten und statistischen Suchverfahren.- Rapid Prototyping mikroelektronischer Hardware-Software-Systeme durch Emulation.- Anhang A: Plakatausstellung.
