Automatic customization of device drivers for IP-cores used with assorted CPU organizations

ABSTRACT

Plugging an IP core into an embedded platform implies the generation of a device driver complying with the IP communication protocol from one side and with the CPU organization (i.e., single processor, SMP, AMP) from the other side. Reusing an existent driver developed for a different CPU organization needs a time-consuming and error-prone manual customization of it, that discourages the evaluation of alternative target platform organizations. In this context, the paper firstly proposes to extract the formal model of the IP communication protocol from the RTL testbench provided with it. Then a taxonomy of device drivers is presented based on the CPU organization of the platform. This taxonomy allows to select the correct template used to automatically generate a device driver compliant with the CPU organization, with the use in a simulated or in a real platform, with the interrupt support, with the operating system, with the I/O architecture and with the possible parallel execution. The proposed methodology has been successfully tested on a family of embedded platforms with different CPU organizations.

REFERENCES

• 1: N. Bombieri, N. Deganello, and F. Fummi. Integrating RTL IPs into TLM designs through automatic transactor generation. In Proc. of ACM/IEEE DATE, pages 15--20, 2008.
• 2: N. Bombieri, F. Fummi, G. Pravadelli, and S. Vinco. Correct-by-construction generation of device drivers based on rtl testbenches. In Proc. of IEEE Design Automation and Test in Europe (DATE), 2009.
• 3: S. Honda and H. Takada. Evaluation of applying specc to the integrated design method of device driver and device. In Proc. of ACM/IEEE DATE, pages 138--143, 2003.
• 4: Y.-T. Hsu, Y.-J. Wen, and S.-D. Wang. Embedded hardware/software design and cosimulation using user mode linux and systemc. In Proc. of IEEE ICPPW, pages 17--22, 2007.
• 5: G. K.-H. J. Corbet, A. Rubini. Linux Device Drivers. O'Reilly, 2009.
• 6: T. Katayama, K. Saisho, and A. Fukuda. Prototype of the device driver generation system for unix-like operating systems. In Proc. of IEEE Int. Symp. on Principles of Software Evolution, pages 302--310, 2001.
• 7: M. O'Nils and A. Jantsch. Device driver and dma controller synthesis from hw /sw communication protocol specifications. Design Automation for Embedded Systems, Springer Netherlands, 6(2):177--205, 2001.
• 8: J. C. Park, Y. H. Choi, and T. ho Kim. Domain specific code generation for linux device driver. In Proc. of IEEE ICACT, pages 101--104, 2008.
• 9: H. Sertic, F. Rus, and R. Rac. Uml for real-time device driver development. In Proc. of IEEE ConTel, pages 631--636, 2003.
• 10: F. Slomka, M. Dorfel, and R. Munzenberger. Generating mixed hardware-software systems from SDL specifications. In ACM/IEEE CODES+ISSS, pages 116--121, 2001.
• 11: S. Wang and S. Malik. Synthesizing operating system based device drivers in embedded systems. In Proc. of IEEE CODES+ISSS, pages 37--44, 2003.
• 12: S. Wang, S. Malik, and R. A. Bergamaschi. Modeling and integration of peripheral devices in embedded systems. In Proc. of ACM/IEEE DATE, pages 136--141, 2003.

INDEX TERMS

Primary Classification:
  D. Software
  D.4 OPERATING SYSTEMS
      D.4.7 Organization and Design
          Subjects: Real-time systems and embedded systems

Additional Classification:
  D. Software
  D.4 OPERATING SYSTEMS
      D.4.7 Organization and Design
          Subjects: Hierarchical design**

General Terms:
Design, Reliability

Keywords:
device driver design, embedded systems, hardware-software codesign