Andrew Dobis, Kevin Laeufer, Hans Jakob Damsgaard, Tjark Petersen, Kasper Juul Hesse Rasmussen, Enrico Tolotto, Simon Thye Andersen, Richard Lin, Martin Schoeberl. Verification of Chisel Hardware Designs with ChiselVerify. Microprocessors and Microsystems, 96:104737, February 2023. [doi]
Abstract is missing.