Abstract
This paper presents the Module Manager, which is a novel approach to assist the designer in the specification of hardware systems. This flexible expert system proposes behavioural solutions, at a high level of abstraction, that match the designer’s requirements. Models are selected from a repository of designs previously specified within the MODES environment. Thereby, the Module Manager allows them to be reused, hence ensuring their generic nature. This paper focuses on the architecture and the mechanisms of the Module Manager.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
J.P. Calvez, “Spécification et Conception des Systèmes: une Méthodologie”, Editions MASSON, collection MIM 1990, 630p.
Ron Waxman, “Hardware Design languages for Computer Design and Test”, IEEE Computer, pp. 90–97, April 1986.
Franz J. Rammig, “System Level Design”, in Fundamentals and Standards in Hardware Description Languages, J. Mermet ed., pp. 109–151, Kluwer Academic Publishers, 1993.
H.P. Amann, et al., “MODES: An Expert System for the Automatic Generation of Behavioural Hardware Models”, Euro VHDL’91 Proc. pp. 192–195, Sept.91.
H.P. Amann, et al., “High-Level Specification of Behavioural Hardware Models with MODES”, ISCAS’94, London, May 94.
Ch. Munk, “A Methodology for Designing and Using a Hardware System Specification Environment”, Ph.D. thesis Nr 1309, EPFL, Lausanne, Switzerland 1994.
William A. Woods, “What’s in a link: Foundations for Semantic Networks”, Readings in Knowledge Representation pp. 217–241, 1985.
R. Yasdi, “Learning Classification Rules from Database in the Context of Knowledge Acquisition and Representation”, IEEE Transactions on Knowledge and data engineering, Vol. 3, NO 3, pp. 293–306, Sept. 91.
Minsky M., “A Framework for Representing Knowledge” in The Psychology of Computer Vision, Mc Graw Hill N.Y. 1978.
Van den Heuvel, et al., “High-level behavioural modelling using BEMCharts: A formalisms and its application to behavioral specification of digital hardware”, ECCTD’93 Proc. pp. 211–216.
Anurag P. Gupta, et al., “Automating the Design of Computer Systems”, IEEE Transactions on CAD of integrated circuits and systems, Vol. 12, No 4, pp. 473–487, April 93.
K.D. Mueller-Glaser, et al., “An Approach to Computer-Aided specification”, IEEE journal of Solid State circuits, vol.25, No 2, pp. 335–345, April 90.
W. Stephen Adolph, et al., “A Frame Based System for representing Knowledge About VLSI Design: A Proposal”. Proc 23rd DAC’86, pp. 671–677.
A. Hekmatpour, et al. “Hierarchical Modeling of the VLSI Design Process”, IEEE Expert, pp. 56–70, April 91.
N. Giambiasi, et al., “An Adaptative Evolutive Tool for Describing General Hierarchical Models, Based on Frames and Demons”, Proc 22nd DAC’85, Los Alamitos, pp. 460–467.
Bergmann, Moor, Nelson, “The Logic Book”, New York, McGraw-Hill, 1990.
Nexpert Object Reference Manual, Vol. Knowledge Design, Neuron Data, Palo Alto, California, 1994.
Speed Electronic, “speedCHART User’s Manual”, Neuchâtel Switzerland, 1994.
Intel® - “Peripheral Components”, 1993.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Kluwer Academic Publishers
About this chapter
Cite this chapter
Chaouat, L., Vachoux, A., Mlynek, D. (1996). An Expert Assistant for Hardware Systems Specification. In: Waxman, R., Bergé, JM., Levia, O., Rouillard, J. (eds) High-Level System Modeling. Series Presentation, vol 4. Springer, Boston, MA. https://doi.org/10.1007/978-1-4613-1309-0_5
Download citation
DOI: https://doi.org/10.1007/978-1-4613-1309-0_5
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4612-8561-8
Online ISBN: 978-1-4613-1309-0
eBook Packages: Springer Book Archive