Back to Search
Start Over
Research on functional verification method processor model built by Chisel
- Source :
- Xibei Gongye Daxue Xuebao, Vol 41, Iss 5, Pp 1024-1032 (2023)
- Publication Year :
- 2023
- Publisher :
- EDP Sciences, 2023.
-
Abstract
- With the increasing complexity of hardware design, verification has become the difficulty of chip design. In order to effectively shorten the overall working time of the design process, it is necessary to work out a method to quickly find design errors in the verification that takes up a lot of time in the design. The design under test is an ARM Chisel compatible with the ARM V4 instruction set architecture (ISA) processor model. The processor model is built with a new hardware language Chisel and is a highly complex hardware design. Based on this embedded processor model, ①a random instruction generator supporting all instructions of the ARM V4 ISA architecture is designed to increase the speed of generating test stimuli; ②based on the characteristics of the new construction language Chisel, designed for the processor model under test four verification stages: primary verification at the Chisel level, rapid verification of coverage, direct test verification and verification of complex applications, to ensure that the expected coverage is achieved; ③built in the Chisel environment and Verilog environment based on the embedded processor model Test platform. The test platform can quickly and accurately find errors and locate errors while collecting coverage, which improves the verification speed. Finally, the FPGA acceleration method is used to accelerate the verification of large-scale application programs and shorten the verification cycle.
Details
- Language :
- Chinese
- ISSN :
- 10002758 and 26097125
- Volume :
- 41
- Issue :
- 5
- Database :
- Directory of Open Access Journals
- Journal :
- Xibei Gongye Daxue Xuebao
- Publication Type :
- Academic Journal
- Accession number :
- edsdoj.ba3781e2d8364812b728b09fcd4a5d3a
- Document Type :
- article
- Full Text :
- https://doi.org/10.1051/jnwpu/20234151024