Conference paper
Enabling Coverage-Based Verification in Chisel
Ever-increasing performance demands are pushing hardware designers towards designing domain-specific accelerators. This has created a demand for improving the overall efficiency of the hardware design and verification cycles. The design efficiency was improved with the introduction of Chisel. However, verification efficiency has yet to be tackled.
One method that can increase verification efficiency is the use of various types of coverage measures. In this paper, we present our open-source, coverage-related verification tools targeting digital designs described in Chisel. Specifically, we have created a new method allowing for statement coverage at an intermediate representation of Chisel, and several methods for gathering functional coverage directly on a Chisel description.
Language: | English |
---|---|
Publisher: | IEEE |
Year: | 2022 |
Pages: | 1-6 |
Proceedings: | 27<sup>th</sup> IEEE European Test Symposium |
ISBN: | 166546707X , 9781665467070 , 1665467053 , 1665467061 , 9781665467056 and 9781665467063 |
ISSN: | 15581780 and 15301877 |
Types: | Conference paper |
DOI: | 10.1109/ETS54262.2022.9810435 |
ORCIDs: | Schoeberl, Martin |