ChiselVerify: An Open-Source Hardware Verification Library for Chisel and Scala. - Andrew Dobis; Tjark Petersen; Hans Jakob Damsgaard; Kasper Juul Hesse Rasmussen; Enrico Tolotto; Simon Thye Andersen; Richard Lin; Martin Schoeberl (NorCAS, 2021)

Open-Source Verification with Chisel and Scala. - Andrew Dobis; Tjark Petersen; Kasper Juul Hesse Rasmussen; Enrico Tolotto; Hans Jakob Damsgaard; Simon Thye Andersen; Richard Lin; Martin Schoeberl (CoRR, 2021)

Enabling Coverage-Based Verification in Chisel. - Andrew Dobis; Hans Jakob Damsgaard; Enrico Tolotto; Kasper Hesse; Tjark Petersen; Martin Schoeberl (ETS, 2022)

Implementation and Verification of the Argo Network-on-Chip in Chisel. - Kasper Hesse (DSD, 2023)

Asynchronous Circuit Design in Chisel Using Phase-Decoupled Click Elements. - Kasper Hesse; Tjark Petersen; Jens Sparsø (DSD, 2023)

On the Feasibility of using FPGA's for Efficient Topology Optimization. - Kasper Hesse; Martin Schoeberl; Niels Aage; Erik Träff (DSD, 2023)

Verification of Chisel Hardware Designs with ChiselVerify. - Andrew Dobis; Kevin Laeufer; Hans Jakob Damsgaard; Tjark Petersen; Kasper Juul Hesse Rasmussen; Enrico Tolotto; Simon Thye Andersen; Richard Lin; Martin Schoeberl (Microprocess. Microsystems, 2023)