A heterogeneous hardware-software co-simulation environment using user mode linux and clock suppression

Proceedings of the 2nd IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, MESA 2006

Volumn , Issue , 2006, Pages

  Muhr, Hannes ^b   Höller, Roland ^a,c   Horauer, Martin ^a,c  

^a IEEE

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^c UNIVERSITY OF APPLIED SCIENCES TECHNIKUM WIEN   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SYSTEMS; HARDWARE-SOFTWARE CODESIGN; LINUX; SOFTWARE TESTING; VERIFICATION; VIRTUAL PROTOTYPING;

DISTRIBUTED EMBEDDED SYSTEM; ELECTRONIC SYSTEMS; HETEROGENEOUS HARDWARE; HETEROGENEOUS SIMULATION; INSTRUCTION SET SIMULATORS; NETWORKED EMBEDDED SYSTEMS; OPERATING SYSTEM KERNEL; SIMULATION ENVIRONMENT;

VIRTUAL REALITY;

EID: 44949162248     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MESA.2006.297012     Document Type: Conference Paper

References (17)

1. T. W. Albrecht, J. Notbauer, and S. Rohringer. HW/S W Co Verification Performance Estimation & Benchmark for a 24 Embedded RISC Core Design. In Proceedings of the 35th Design Automation Conference, pages 808-811, June 1998.
2. L. Benini, D. Bertozzi, D. Bruni, N. Drago, F. Fummi, and M. Poncino. SystemC Cosimulation and Emulation of Multiprocessor SoC Designs. IEEE Computer, pages 53-59, April 2003.
3. J. Dike. A user-mode port of the Linux kernel. In Proceedings of the 5th Annual Linux Showcase and Conference, Atlanta, Georgia, USA, 2000.
4. F. Fummi, M. Loghi, S. Martini, M. Monguzzi, G. Perbellini, and M. Poncino. Virtual Hardware Prototyping through Timed Hardware-Software Co-simulation. In Proc. Design Automation and Test in Europe Conf. (DATE 05), pages 798-803, 2005.
5. T. Grötker, S. Liao, G. Martin, and S. Swan. System Design with SystemC. Kluwer Academic Publishers, Norwell, MA, USA, 2002.
6. V. Guffens and G. Bastin. Running virtualized native drivers in User Mode Linux. In Proceedings of the USENIX 2005 Annual Technical Conference, pages 33-39, Anaheim, CA, USA, 2005.
7. R. Höller, T. Sauter, and N. Kerö. Embedded synutc and ieee 1588 clock synchronization for industrial ethernet. In Proceedings of the ETFA 2003 IEEE Conference on Emerging Technologies and Factory Automation, pages 422-426, Lissabon, Portugal, Sept. 16-19, 2003.
8. IEEE Std 1588-2002. IEEE Standard for a Precision Clock Synchronization Protocol for Networked Measurement and Control Systems. The Institute of Electrical and Electronics Engineers, Inc., New York, NY, USA, Nov. 2002.
9. D. Kim, Y. Yi, and S. Ha. Trace-driven HW/SW Cosimulation Using Virtual Synchronization Technique. In Proceedings of the 42nd Design Automation Conference, pages 345-348, June 13-17, 2005.
10. W. Qin and S. Malik. Flexible and formal modeling of microprocessors with application to retargetable simulation. In Proceedings of the Design, Automation and Test in Europe Conference and Exhibition DATE'03, pages 556-561, Munich, Germany, Mar. 3-7, 2003.
11. A. Rubini and J. Corbet. Linux Device Drivers. O'Reilly, second edition, 2001. http://www.xml.com/ldd/chapter/book/.
12. P. Schaumont, S. Sandeep, and I. Verbauwhede. Extended Abstract: A Race-free Hardware Modeling Language. In Proceedings of the Third ACM and IEEE International Conference on Formal Methods and Models for Co-Design MEMOCODE'05, pages 255-256, July 2005.
13. P. Schaumont and I. Verbauwhede. Interactive cosimulation with partial evaluation. In Proceedings of the Design, Automation and Test in Europe Conference and Exhibition 2004, pages 642-647, Paris, France, Feb. 2004.
14. L. Sèmèria and A. Ghosh. Methodology for Hardware/software Coverification in C/C++. In Proceedings of the Asia and South Pacific Design Automation Conference, pages 405-408, New York, USA, 2000. ACM Press.
15. L. Singh, L. Drucker, and N. Khan. Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout. Kluwer Academic Publishers, Norwell, MA, USA, 2004.
16. E. Ulrich. A design verification methodology based on concurrent simulation and clock suppression. In Proceedings of the Design Automation Conference, pages 709-712, Miami Beach, FL, USA, June 1983.
17. Y. Yi, D. Kim, and S. Ha. Virtual Synchronization Technique with OS Modeling for Fast and Time-accurate Cosimulation. In Proceedings of the first International Conference on Hardware/Software Codesign and System Synthesis, pages 1-6, Oct. 1-3, 2003.