It is shown how it is possible to use Prolog to develop an expert system kernel for logic circuit synthesis. The main aspect of the proposed approach is the structuring of the problem by a suitable knowledge basis (KB) and the determination of the logic circuit by an effective searching strategy over this KB. The KB is structured in the form by abstraction levels: each rule of an abstraction level can utilize the rules belonging to all the lower abstraction levels. Further study can be useful to increase the effectiveness of the searching strategy. The proposed tool is working an in MS-DOS environment; a graphical interface for layout is now being developed.
TOWARDS AN EXPERT SYSTEM FOR LOGIC CIRCUIT SYNTHESIS
Di Stefano A.;Faro A.
1987-01-01
Abstract
It is shown how it is possible to use Prolog to develop an expert system kernel for logic circuit synthesis. The main aspect of the proposed approach is the structuring of the problem by a suitable knowledge basis (KB) and the determination of the logic circuit by an effective searching strategy over this KB. The KB is structured in the form by abstraction levels: each rule of an abstraction level can utilize the rules belonging to all the lower abstraction levels. Further study can be useful to increase the effectiveness of the searching strategy. The proposed tool is working an in MS-DOS environment; a graphical interface for layout is now being developed.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
