11 May 1987 A Model-Based Expert System For Digital Systems Design
Author Affiliations +
In this paper, we present a model-based expert system for automatic digital systems design. The goal of digital systems design is to generate a workable and efficient design from high level specifications. The formalization of the design process is a necessity for building an efficient automatic CAD system. Our approach combines model-based, heuristic best-first search, and meta-planning techniques from AI to facilitate the design process. The design process is decomposed into three subprocesses. First, the high-level behavioral specifications are translated into sequences of primitive behavioral operations. Next, primitive operations are grouped to form intermediate-level behavioral functions. Finally, structural function modules are selected to implement these functions. Using model-based reasoning on the primitive behavioral operations level extends the solution space considered in design and provides more opportunity for minimization. Heuristic best-first search and meta-planning tech-niques control the decision-making in the latter two subprocesses to optimize the final design. They also facilitate system maintenance by separating design strategy from design knowledge.
© (1987) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
J.G. Wu, J.G. Wu, W.P. C. Ho, W.P. C. Ho, Y. H Hu, Y. H Hu, D.Y. Y. Yun, D.Y. Y. Yun, T M Parng, T M Parng, "A Model-Based Expert System For Digital Systems Design", Proc. SPIE 0786, Applications of Artificial Intelligence V, (11 May 1987); doi: 10.1117/12.940597; https://doi.org/10.1117/12.940597


Multi-Dimensional Real-Time Convolver
Proceedings of SPIE (November 24 1987)
The DELPHI System A System Level Tool For Integrated...
Proceedings of SPIE (November 24 1987)
Probabilistic model-based diagnosis system
Proceedings of SPIE (February 29 1992)
Using VHDL design models to support diagnosis
Proceedings of SPIE (March 22 1993)

Back to Top