This repo contains documentation, mostly in Latex. A workshop paper, a reserach proposal, and more to come.
A presentation on ChiselVerify was given at the Chisel Community Conference 2021. The slides used for said presentation as well as a transcript can be found here.
A technical report, covering the work done on ChiselVerify, up until Jan 2021, can be found here.
A conference paper for the IEEE Nordic Circuits and Systems Conference, which presents the framework as a whole and discusses the work done leading up to it, can be found here. The paper presentation was accompanied by slides which can be found, along with a transcript of the talk, here. A recording of the presentation is publicly available on youtube.
A short conference paper for the 4th Workshop on Open-Source EDA Technology (WOSET), which presents the begining of a project exploring the impact of using Functional Coverage as a fine-grained metric to drive fuzzing of Chisel designs on the fuzzing performance. Slides used in the workshop presentation, as well as a transcript of the talk, can be found here. A recording of the presentation is publicly available on youtube.
A conference paper, which discusses the different possible approaches that can be used to gather coverage information on a Chisel design, can be found here.