A fast hardware/software co-verification method using a real hardware acceleration

Due to the number and the nature of components integrated in them, Systems-On-a-Chip (SoC) have become increasingly complex. To solve the problem of cost, flexibility and the time-to-market, systems designed with mixed hardware software systems has increased and the verification method has become a key position of the design process. This paper describes a new hardware/software co-verification methodology for SoC, based on the integration of a SystemC simulator and an FPGA accelerator. Between the SystemC simulator [1] [2] and the FPGA board, a shared communication was established to accelerate the simulation via flexible interfaces. The key issue is the synchronization between the two parts.

[1]  Soha Hassoun,et al.  A transaction-based unified architecture for simulation and emulation , 2005, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

[2]  Franco Fummi,et al.  A HW/SW co-simulation framework for the verification of multi-CPU systems , 2008, 2008 IEEE International High Level Design Validation and Test Workshop.

[3]  Nacer-Eddine Zergainoh,et al.  Multilanguage design of heterogeneous systems , 1999, Proceedings of the Seventh International Workshop on Hardware/Software Codesign (CODES'99) (IEEE Cat. No.99TH8450).

[4]  Alberto L. Sangiovanni-Vincentelli,et al.  Software timing analysis using HW/SW cosimulation and instruction set simulator , 1998, Proceedings of the Sixth International Workshop on Hardware/Software Codesign. (CODES/CASHE'98).

[5]  Ahmed Amine Jerraya,et al.  Fast and accurate timed execution of high level embedded software using HW/SW interface simulation model , 2004 .

[6]  Ahmed Amine Jerraya,et al.  System-on-a-Chip Cosimulation and Compilation , 1997, IEEE Des. Test Comput..

[7]  Massimo Poncino,et al.  Native ISS-SystemC integration for the co-simulation of multi-processor SoC , 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

[8]  Thorsten Grotker,et al.  System Design with SystemC , 2002 .

[9]  Jan Axelson.  USB Complete: Everything You Need to Develop Custom USB Peripherals , 1999 .

[10]  Giovanni De Micheli,et al.  Readings in hardware / software co-design , 2001 .

[11]  Ahmed Amine Jerraya,et al.  Automatic VHDL-C Interface Generation for Distributed Cosimulation: Application to Large Design Examples , 1998, Des. Autom. Embed. Syst..

[12]  Mohamed Abid,et al.  Automated Fingerprint Recognition Using the DECOC Classifier , 2011 .