Verification of Chisel Hardware Designs with ChiselVerify

• DOI: 10.1016/j.micpro.2022.104737
• Publication Date: 2022-11-30T16:02:14Z
• Authors: Amelia Dobis; Kevin Laeufer; Hans Jakob Damsgaard; Tjark Petersen; Kasper Juul Hesse...; Enrico Tolotto; Simon Thye Andersen; Richard Lin; Martin Schoeberl
• Keywords: Chisel; Functional verification; High-level verification

With the current ever-increasing demand for performance, hardware developers find themselves turning ever-more towards construction of application-specific accelerators to achieve higher performance and lower energy consumption. In order meet ever-shortening time constraints, both development verification tools need be improved. Chisel, as a language, tackles this problem by speeding up digital designs. However, Chisel infrastructure lacks verification. This paper improves efficiency in proposing methods support formal dynamic designs Scala. It builds on top ChiselTest, official testing framework Chisel. Our work supports functional coverage, constrained random verification, bus models, transaction-level modeling library named ChiselVerify, while are directly integrated into Chisel3.