By Topic

A Heuristic Approach to System-Level Design Problems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Pulka, A. ; Silesian Univ. of Technol., Gliwice

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.

Published in:

Mixed Design of Integrated Circuits and Systems, 2007. MIXDES '07. 14th International Conference on

Date of Conference:

21-23 June 2007