Modelling Components in DAME?

DAME (Design Automation of Microprocessor-based systems, using an Expert system approach) is an expert system that will be capable of configuring and designing a customized microprocessor system from original specifications. We have postulated that such an expert system, can be easily constructed, since most of the interfaces used by the various microprocessors and related peripherals are standardized. Thus, once the gross structure of the design and the modules comprising it have been chosen, their interconnection is fairly straight-forward. Our investigation into the modelling of signal behavior confirmed this premise. In this work, we present the notation used to model signals in DAME. A notation is developed to allow complete specification of the static and temporal behavior of signals and their relation to other signals. Knowledge representation using frames is presented, together with some typical rules used for the design process. Actual examples of frame representation, rules to design interfaces between microprocessor and memory components are illustrated.

[1]  John P. McDermott,et al.  R1: A Rule-Based Configurer of Computer Systems , 1982, Artif. Intell..

[2]  Kin F. Li,et al.  DAME: a rule based designer of microprocessor based systems , 1989, IEA/AIE '89.

[3]  Rob A. Rutenbar,et al.  Knowledge-based synthesis of custom VLSI physical design tools; first steps , 1988, [1988] Proceedings. The Fourth Conference on Artificial Intelligence Applications.

[4]  Nikitas J. Dimopoulos,et al.  DAME: a rule based designer of microprocessor based systems , 1989, IEEE International Symposium on Circuits and Systems,.

[5]  Takao Uehara.  A Knowledge-Based Logic Design System , 1985, IEEE Design & Test of Computers.

[6]  E. Shortliffe.  Computer-based medical consultations: mycin (elsevier north holland , 1976 .

[7]  S. W. Norton,et al.  Learning preference rules for a VLSI design problem-solver , 1988, [1988] Proceedings. The Fourth Conference on Artificial Intelligence Applications.

[8]  Donna L. Hudson,et al.  EMERGE-A Data-Driven Medical Decision Making Aid , 1984, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[9]  Steven L. Tanimoto.  The elements of artificial intelligence an introduction using lisp computer science press (1987) , 1987 .

[10]  Edward H. Shortliffe,et al.  Computer-based medical consultations, MYCIN , 1976 .

[11]  René Reboh,et al.  A computer-based consultant for mineral exploration (Abstract of presentation) , 1978, AFIPS National Computer Conference.