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

ABSTRACT

Luciano Lavagno, Claudio Passerone, and Claudio SansoePolitecnico di TorinoMapping a 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 to 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 micro-controller itself. In this paper, 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, - automate downstream synthesis for software, hardware, as well as peripheral programming routines.

REFERENCES

• 1: Felice Balarin , Harry Hsieh , Attila Jurecska , Luciano Lavagno , Alberto Sangiovanni-Vincentelli, Formal verification of embedded systems based on CFSM networks, Proceedings of the 33rd annual conference on Design automation, p.568-571, June 03-07, 1996, Las Vegas, Nevada, United States [doi>10.1145/240518.240626]
• 2: [2] G. Berry, P. Couronné, and G. Gonthier. The synchronous approach to reactive and real-time systems. IEEE Proceedings, 79, September 1991.
• 3: Stefano Cardelli , Massimiliano Chiodo , Paolo Giusto , Attila Jurecska , Luciano Lavagno , Alberto Sangiovanni-Vincentelli, Rapid-Prototyping of Embedded Systems via Reprogrammable Devices, Proceedings of the 7th IEEE International Workshop on Rapid System Prototyping (RSP '96), p.133, June 19-21, 1996
• 4: Massimilano Chiodo , Paolo Giusto , Attila Jurecska , Harry C. Hsieh , Alberto Sangiovanni-Vincentelli , Luciano Lavagno, Hardware-Software Codesign of Embedded Systems, IEEE Micro, v.14 n.4, p.26-36, August 1994 [doi>10.1109/40.296155]
• 5: Pai Chou , Elizabeth A. Walkup , Gaetano Borriello, Scheduling for Reactive Real-Time Systems, IEEE Micro, v.14 n.4, p.37-47, August 1994 [doi>10.1109/40.296156]
• 6: Raj S. Mitra , Partha S. Roop , Anupam Basu, A new algorithm for implementation of design functions by available devices, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, v.4 n.2, p.170-180, June 1996 [doi>10.1109/92.502190]
• 7: [7] Motorola Inc. M68HC11, Reference Manual, 1991.
• 8: [8] C. Passerone, M. Chiodo, W. Gosti, L. Lavagno, and A. Sangiovanni-Vincentelli. Evaluation of trade-offs in the design of embedded systems via co-simulation. Technical Report UCB/ERL M96/12, U.C. Berkeley, 1996.
• 9: [9] E. Walkup and G. Borriello. Automatic synthesis of device drivers for hardware-software codesign. In Proceedings of the International Workshop on Hardware-Software Codesign, October 1993.

INDEX TERMS

Keywords:
co-simulation, co-synthesis, micro-controllers, peripherals, FSM synthesis