Another take on functional system-level design and modeling

Tomasz Toczek (1) , Dominique Houzet (1) , Stéphane Mancini (1)

1 GIPSA-AGPIG - GIPSA - Architecture, Géométrie, Perception, Images, Gestes

This chapter exposes 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 programing 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. © 2010 Springer Science+Business Media B.V.

Domaines: Langage de programmation [cs.PL]

Tomasz Toczek, Dominique Houzet, Stéphane Mancini. Another take on functional system-level design and modeling. Lecture Notes in Electrical Engineering, Elsevier, pp.93-106, 2010, Vol 63, ⟨10.1007/978-90-481-9304-2_6⟩. ⟨hal-00596036⟩