Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme

GME/GI/ITG-Fachtagung Dortmund, 1./2. Oktober 1990

  • Bernd Reusch

Part of the Informatik—Fachberichte book series (INFORMATIK, volume 255)

Table of contents

  1. Front Matter
    Pages N2-X
  2. Sitzung 1

  3. Sitzung 2

    1. N. Wehn, M. Glesner, A. Kister, S. Kastner
      Pages 42-51
    2. Peter V. Kraus, Dieter A. Mlynski, Chong Min Kyung
      Pages 64-74
  4. Sitzung 3

  5. Sitzung 4

    1. Georg Klein-Heßling, Manfred Schäfer
      Pages 130-142
    2. P. Gutberlet, H. Krämer, W. Rosenstiel
      Pages 143-156
    3. Klaus Hoffmann, Michael Mertens, Klaus Milzner, Werner Brockherde, Gunther Hess, Roland Klinke et al.
      Pages 157-168
  6. Sitzung 5

    1. H. Gundlach, K. -D. Müller-Glaser
      Pages 169-181
    2. E. J. Lehner, H. Hofestädt
      Pages 182-194
  7. Sitzung 6

    1. P. Schwarz, C. Clauß, U. Donath, J. Haufe, G. Kurth, P. Trappe
      Pages 207-220
    2. T. Schwederski, T. Büchner, W. Haas, M. Zahn
      Pages 221-230

About these proceedings

Introduction

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.

Keywords

Algorithmen Analysis Hardware Logik Modellierung Optimierung Steuerung Verifikation digitale Signalverarbeitung

Editors and affiliations

  • Bernd Reusch
    • 1
  1. 1.Lehrstuhl Informatik IUniversität DortmundDortmund 50Deutschland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-84304-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 1990
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-53163-0
  • Online ISBN 978-3-642-84304-4
  • Series Print ISSN 0343-3005
  • About this book