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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Literatur
ALL87/ P.E.Allen; D.R.Holberg: “CMOS Analog Circuit Design”; Holt, Rineheart and Winston, New York 1986
“ 16-Bit A/D Converter Performance Testing Technical Note”; Analog IC Corp. 1988
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
G. Borriello; R.H. Katz: “Synthesis and Optimization of Interface Transducer Logic” in Proc. IEEE ICCAD 1987, pp. 274–277
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
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
L.R. Carley e.a.: “ACACIA: The CMU Analog Design System” in Proc. of CICC 1989, pp.4.3.1–4.3.5
M.G.R. Degrauwe e.a.: “Towards an Analog System Design Environment” in IEEE JSSC Vol.24, NO3, June 1989, pp.659–671
GRE86/ R. Gregorian; C. Temes: “Analog MOS Integrated Circuits for Signal Processing”; Wiley and Sons, New York 1986
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
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
E.S. Lee e.a.: “The Input/Output Specifications Analyzer for IC Designs” in Proc. CICC 1989, pp.19.1.1–19.1.4
A. Kara e.a.: “An Expert System to Automate Timing Design”, IEEE Design & Test Oct.1988, pp. 28–40
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
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
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
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
J.A. Nestor; D.E. Thomas: “Behavioral Synthesis with Interfaces” in Proc. Of.IEEE ICCAD 1986, pp. 112–115
S. Seda e.a.: “A Symbolic Analysis Tool for Analog Circuit Design Automation” in Proc. IEEE ICCAD 1988, pp.448–451
C. Viswesvariah e.a.: “Model Development and Verification for High Level Analog Blocks” in Proc. ACM/IEEE Design Automation Conference 1988, pp.376–382
R.A. Walker; D.E. Thomas: “A Model of Design Representation and Synthesis” in Proc. ACM/IEEE Design Automation Conference 1985, pp. 453–459
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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