Automated selection of embedded functions for SoC models based on IPs library

The presented Paper deals with the design and modeling of modern Systems on Chip (SoC) In this contribution the author proposes an approach to thc problcm of the partitioning and selection the functional tasks between hardware and software components. The issue is presented on an example of the selected system platform and functions implcmented for the digital signal processing. The searching algorithm - SMOG - implemented in Prolog (LPA Prolog) is formulated and descrihed. The structure nf the lPs library is discussed. Some results and conclusions summarized the entire work.