@inproceedings{5bc87fda02704a5ebb9232fd8f23ffef,
title = "A heuristic approach to system-level design problems",
abstract = "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.",
keywords = "AI techniques, Design reuse, System-level design, SystemC, Transaction level modeling",
author = "Andrzej Pu{\l}ka",
year = "2007",
doi = "10.1109/MIXDES.2007.4286148",
language = "English",
isbn = "8392263243",
series = "Proceedings of the 14th International Conference {"}Mixed Design of Integrated Circuits and Systems{"}, MIXDES 2007",
pages = "189--194",
booktitle = "Proceedings of the 14th International Conference {"}Mixed Design of Integrated Circuits and Systems{"}, MIXDES 2007",
note = "14th International Conference {"}Mixed Design of Integrated Circuits and Systems{"}, MIXDES 2007 ; Conference date: 21-06-2007 Through 23-06-2007",
}