In our model-based expert system for automatic digital system design, we formalize the design process into three sub-processes - compiling high-level behavioral specifications into primitive behavioral operations, grouping primitive operations into behavioral functions, and grouping functions into modules. Consideration of design minimization explicitly controls decision-making in the last two subprocesses. Design minimization, a key task in the automatic design of digital systems, is complicated by the high degree of interaction among the time sequence and content of design decisions. In this paper, we present an AI approach which directly addresses these interactions and their consequences by modeling the minimization problem as a planning problem, and the management of design decision-making as a meta-planning problem.
|頁（從 - 到）||386-390|
|期刊||Proceedings of SPIE - The International Society for Optical Engineering|
|出版狀態||已發佈 - 1987 五月 11|
ASJC Scopus subject areas