Skip to Main Content
The paper concerns the problem of system level design i.e. generation of high quality abstract models of modern electronic embedded systems for simulation, verification and technology mapping. The work focuses on methodology and AI techniques that can be incorporated to CAD tools. The main effort has been done on formulation of the algorithm and inference engine that controls the process of SoC modeling. The presented methodology binds AI techniques and formal verification methods with complex digital systems modeling. The author's SMOG algorithm is briefly recalled as a basis for the presented approach. Then the algorithm modifications are proposed. Some aspects of the implementation of the method in PROLOG are emphasized. The results and conclusions summarize the work.