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.