Emulation and verification framework for MPSoC based on NoC and RISC-V

被引:1
作者
Khamis, Mostafa [1 ]
El-Ashry, Sameh [2 ]
AbdElsalam, Mohamed [3 ]
El-Kharashi, M. Watheq [2 ,4 ]
Shalaby, Ahmed [5 ]
机构
[1] STMicroelectronics, Cairo, Egypt
[2] Ain Shams Univ, Dept Comp & Syst Engn, Cairo, Egypt
[3] Siemens EDA, Siemens Digital Ind Software, Cairo, Egypt
[4] Univ Victoria, Fac Engn & Comp Sci, Dept Elect & Comp Engn, Victoria, BC V8P 5C2, Canada
[5] Benha Univ, Dept Comp Sci, Banha, Egypt
关键词
Hardware emulation; Multiprocessor system-on-chip (MPSoC); Networks-on-chip (NoC); RISC-V; Universal verification methodology (UVM); NETWORK-ON-CHIP; DESIGN; GENERATION; FLOW;
D O I
10.1007/s10617-022-09265-1
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Nowadays, embedded systems have multiprocessing capabilities to meet the complexity of modem applications, such as signal processing and multimedia. However, as the embedded system's functionality expands, complexity increases and numerous constraints become necessary. Constraints, such as high performance, low power consumption, and development time, became critical demands. Therefore, emulation and verification are necessary to assess the correctness and performance of such architectures and accelerate the development phase. We propose a robust, scalable, and flexible hardware-software emulation framework that focuses on design space exploration for MPSoC architectures. Our framework supports 2D and 3D NoC-based architectures built on an open-source RISC-V. According to user configuration, the framework auto-generates the corresponding universal verification methodology environment to explore the design space, evaluate the performance, and compare the results for wide configurations and parameters. Then, it provides the best solution based on provided user criteria. Our framework uses an emulation co-modeling technology to enable the designer to explore and detect architecture failures. We provide numerous experimental results for different 2D and 3D NoC architectures to assess their correctness and performance, including energy and power consumption. Noticeably, results show an acceleration by 40x in comparison to software simulators.
引用
收藏
页码:133 / 159
页数:27
相关论文
共 61 条
[1]  
Ahn H, 2018, P DESIGN VERIFICATIO
[2]  
[Anonymous], MENTOR SIEMENS BUSIN
[3]  
[Anonymous], PLASMA CORE
[4]   OpenPiton: An Open Source Manycore Research Framework [J].
Balkind, Jonathan ;
McKeown, Michael ;
Fu, Yaosheng ;
Tri Nguyen ;
Zhou, Yanqi ;
Lavrov, Alexey ;
Shahrad, Mohammad ;
Fuchs, Adi ;
Payne, Samuel ;
Liang, Xiaohua ;
Matl, Matthew ;
Wentzlaff, David .
ACM SIGPLAN NOTICES, 2016, 51 (04) :217-232
[5]  
Becker DanielUlf., 2012, EFFICIENT MICROARCHI
[6]   Networks on chips: A new SoC paradigm [J].
Benini, L ;
De Micheli, G .
COMPUTER, 2002, 35 (01) :70-+
[7]   NoC synthesis flow for customized domain specific multiprocessor systems-on-chip [J].
Bertozzi, D ;
Jalabert, A ;
Murali, S ;
Tamhankar, R ;
Stergiou, S ;
Benini, L ;
De Micheli, G .
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2005, 16 (02) :113-129
[8]  
Busseuil R., 2011, Proceedings of the 2011 International Conference on Reconfigurable Computing and FPGAs (ReConFig 2011), P357, DOI 10.1109/ReConFig.2011.66
[9]   HeMPS - A Framework for NoC-Based MPSoC Generation [J].
Carara, Everton A. ;
de Oliveira, Roberto P. ;
Calazans, Ney L. V. ;
Moraes, Fernando G. .
ISCAS: 2009 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-5, 2009, :1345-1348
[10]  
Cheung N, 2003, ICCAD-2003: IEEE/ACM DIGEST OF TECHNICAL PAPERS, P291