OpenRISC System-on-Chip Design Emulation

Recently the hardware emulation technique has emerged as a promising approach to accelerating hardware verification/debugging process. To fully evaluate the powerfulness of the emulation approach and demonstrate its potential impact, we propose to emulate a system-on-chip (SoC) design using Mentor Graphics Veloce emulation platform. This article presents our project setup and the results we have achieved. The results are encouraging. ORPSoC emulation with Veloce has more than ten times faster than hardware simulation. Our experimental results demonstrate that Mentor Graphics Veloce has major advantages in emulation, verification, and debugging of complicated real hardware designs, especially in the context of SoC complexity. Through our three major tasks, we will demonstrate that (1) Veloce can successfully emulate large-scale SoC designs; (2) it has much better performance comparing to the state-of-the-art simulation tools; (3) it can significantly accelerate the process of hardware verification and debugging while maintaining full signal visibility.

[1]  Li Lei,et al.  Validating direct memory access interfaces with conformance checking , 2014, 2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[2]  Li Lei,et al.  Post-silicon conformance checking with virtual prototypes , 2013, 2013 50th ACM/EDAC/IEEE Design Automation Conference (DAC).

[3]  Li Lei,et al.  Symbolic Execution of Virtual Devices , 2013, 2013 13th International Conference on Quality Software.

[4]  Li Lei,et al.  Scalable certification framework for behavioral synthesis front-end , 2014, 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC).

[5]  Kai Cong Post-silicon Functional Validation with Virtual Prototypes , 2015 .

[6]  Li Lei,et al.  Hardware/Software Interface Assurance with Conformance Checking , 2015 .

[7]  Li Lei,et al.  Optimizing post-silicon conformance checking , 2013, 2013 IEEE 31st International Conference on Computer Design (ICCD).

[8]  Li Lei,et al.  Automatic concolic test generation with virtual prototypes for post-silicon validation , 2013, 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[9]  Fei Xie,et al.  Handling design and implementation optimizations in equivalence checking for behavioral synthesis , 2013, 2013 50th ACM/EDAC/IEEE Design Automation Conference (DAC).

[10]  Li Lei,et al.  Automatic fault injection for driver robustness testing , 2015, ISSTA.

[11]  Li Lei,et al.  Coverage evaluation of post-silicon validation tests with virtual prototypes , 2014, 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).