Modeling micro-controller peripherals for high-level co-simulation and synthesis

Mapping the behavior on an embedded system involves hardware-software partitioning and assignment of software and hardware tasks to different components. In particular, software tasks in embedded controllers are mostly assigned to a micro-controller. However, some micro-controller peripherals are implemented with partly programmable components that can be regarded as very simple co-processors with limited instruction sets and capabilities. Embedded system designers are used for mapping some simple software tasks onto these simple co-processors, obtaining overall performances that can be orders of magnitude superior to the ones obtained mapping all software tasks to the microcontroller itself. We propose a methodology to specify, simulate, and partition tasks that can be implemented on programmable micro-controller peripherals such as timing processing units (TPUs). Following our general philosophy, we let the designer propose a partition, and we provide an environment: to efficiently simulate and evaluate a particular implementation choice; and to automate downstream synthesis for software, hardware, as well as peripheral programming routines.