A Petri net based approach for hardware/software partitioning

Co-design methodologies have arisen for supporting the development of digital systems composed of mixed hardware/software. Partitioning is performed by co-design tools for splitting the functionality of the original system among its components. In this paper, a partitioning approach based on a Petri net intermediate format is proposed. The new model will substitute the one currently adopted in the PISH co-design system. The main advantages of such a model are having more precise metrics and becoming independent of the specification language