Skip to main content
SpringerLink
Log in
Book cover

Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme pp 75–90Cite as

Rechnergestützte Spezifikation in einer integrierten Entwurfsumgebung für anwendungsspezifische Systeme

  • Conference paper

  • 35 Accesses

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

Zusammenfassung

Der vorliegende Beitrag beschreibt ein wissensbasiertes System zur rechnergestützten Spezifikation (CAS — Computer Aided Specification) analoger und digitaler Systemkomponenten, das im Rahmen eines Projektes zur Entwicklung einer integrierten, spezifikationsgesteuerten Entwurfsumgebung für Mikrosysteme (DEBYS — DEsign BY Specification) an der Universität Erlangen-Nürnberg entwickelt wird. Aufgabe des Systems ist es, die Entwicklung von detaillierten Umgebungsbeschreibungen und Anforderungsspezifikationen unterstützen oder auch steuern zu können. Auf der Grundlage eines gemeinsamen Datenmodells für digitale und analoge Spezifikationen. erfolgt eine systematische Erfassung relevanter Spezifikationsdaten sowie deren Verwaltung in einem objektorientierten Format. Regelbasierte Verfahren erlauben die frühe und simulationsunabhängige Prüfung von Spezifikationen bezüglich Konsistenz, Vollständigkeit und Realisierbarkeit. Schnittstellen zu Entwurfs-, Analyse- und Testwerkzeugen ermöglichen die Unterstützung und Kontrolle des gesamten Entwurfsprozesses auf der Grundlage der erfaßten Spezifikationsdaten.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. ALL87/ P.E.Allen; D.R.Holberg: “CMOS Analog Circuit Design”; Holt, Rineheart and Winston, New York 1986

    Google Scholar 

  2. “ 16-Bit A/D Converter Performance Testing Technical Note”; Analog IC Corp. 1988

    Google Scholar 

  3. E. Bercan e.a.: “From Analog Design Description to Layout: a New Approach to Analog Silicon Compilation” in Proc. of CICC 1989, pp.4.4.1–4.4.5

    Google Scholar 

  4. G. Borriello; R.H. Katz: “Synthesis and Optimization of Interface Transducer Logic” in Proc. IEEE ICCAD 1987, pp. 274–277

    Google Scholar 

  5. J. Bortolazzi; K.D. Müller-Glaser: “Towards Computer Aided Specification of Analog Components” in Proc. IEEE CICC 1990, pp.10.7.1–10.7.4

    Google Scholar 

  6. R. Buschke; K. Lagemann: “An Approach to Understanding Evaluation of Simulation Results as an Integrated Task” in Proc. CICC 1989, pp.13.6.1–13.6.4

    Google Scholar 

  7. L.R. Carley e.a.: “ACACIA: The CMU Analog Design System” in Proc. of CICC 1989, pp.4.3.1–4.3.5

    Google Scholar 

  8. M.G.R. Degrauwe e.a.: “Towards an Analog System Design Environment” in IEEE JSSC Vol.24, NO3, June 1989, pp.659–671

    Google Scholar 

  9. GRE86/ R. Gregorian; C. Temes: “Analog MOS Integrated Circuits for Signal Processing”; Wiley and Sons, New York 1986

    Google Scholar 

  10. F.J. Harris: “On the Use of Windows for Harmonic Analysis with the DFT” in Proc. of the IEEE, Vol.66, NO.1,Jan.1978, pp.51–83

    Google Scholar 

  11. R. Harjani e.a.: “OASYS: A Framework for Analog Circuit Synthesis” in IEEE Trans. On Computer-Aided Design, Vol.8, NO.12, Dec.1989, pp.1247–1266

    Google Scholar 

  12. E.S. Lee e.a.: “The Input/Output Specifications Analyzer for IC Designs” in Proc. CICC 1989, pp.19.1.1–19.1.4

    Google Scholar 

  13. A. Kara e.a.: “An Expert System to Automate Timing Design”, IEEE Design & Test Oct.1988, pp. 28–40

    Google Scholar 

  14. K. Kirsch; B. Koch; K.D. Müller-Glaser: “Schnelle Chiplflächen-und Verlustleistungsschätzung im frühen ASIC-Entwurfsablauf’, Proc. SMT/Hybrid/ASIC 1990; Alfred Hüthig Verlag Heidelberg 1990

    Google Scholar 

  15. K.D. Müller-Glaser, J. Bortolazzi: “An Approach to Computer-Aided Specification” IEEE Journal of Solid State Circuits Vol.25, NO. 2 April 1990, pp. 335–345

    Article  Google Scholar 

  16. K.D. Müller-Glaser; J. Bortolazzi:“An Approach to Knowledge-Based ASIC Specification” in Proc. IEEE CICC 1989, pp.19.2.1–19.2.4

    Google Scholar 

  17. P. Nagel; W. Wolz: “Mixed Signal CAD/CAT: Functional Modeling Supports Expected Signal Generation” in Proc. ITG/GI-Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen: Herausforderung der 90er Jahre”, Lenggries, 1989

    Google Scholar 

  18. J.A. Nestor; D.E. Thomas: “Behavioral Synthesis with Interfaces” in Proc. Of.IEEE ICCAD 1986, pp. 112–115

    Google Scholar 

  19. S. Seda e.a.: “A Symbolic Analysis Tool for Analog Circuit Design Automation” in Proc. IEEE ICCAD 1988, pp.448–451

    Google Scholar 

  20. C. Viswesvariah e.a.: “Model Development and Verification for High Level Analog Blocks” in Proc. ACM/IEEE Design Automation Conference 1988, pp.376–382

    Google Scholar 

  21. R.A. Walker; D.E. Thomas: “A Model of Design Representation and Synthesis” in Proc. ACM/IEEE Design Automation Conference 1985, pp. 453–459

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Lehrstuhl für Rechnergestützten Schaltungsentwurf, Universität Erlangen, Nürnberg, Deutschland

    J. Bortolazzi & K. D. Müller-Glaser

Authors
  1. J. Bortolazzi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. K. D. Müller-Glaser
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Lehrstuhl Informatik I, Universität Dortmund, Postfach 500500, D-4600, Dortmund 50, Deutschland

    Bernd Reusch

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bortolazzi, J., Müller-Glaser, K.D. (1990). Rechnergestützte Spezifikation in einer integrierten Entwurfsumgebung für anwendungsspezifische Systeme. In: Reusch, B. (eds) Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme. Informatik—Fachberichte, vol 255. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-84304-4_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-84304-4_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-53163-0

  • Online ISBN: 978-3-642-84304-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation