Another take on functional system-level design and modeling

In this paper, we advocate a novel methodology suited for efficiently solving problems such as NoC instantiation or memory hierarchy structure determination, common in high-complexity SoCs. The proposed framework is not specific to a given NoC or memory organisation, and supports multiple and mixed abstraction levels and design paradigms. It is based on functional programming techniques such as polymorphism and monadic programming. It has been prototyped in the Haskell language. We show its usefulness on a simple example of estimation of memory accesses impact during the backprojection step of a positron emission tomography (PET) reconstruction algorithm.