Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme

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 Circuit 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.