TY - RPRT TI - Open-Source Verification with Chisel and Scala AU - Andrew Dobis AU - Tjark Petersen AU - Kasper Juul Hesse Rasmussen AU - Enrico Tolotto AU - Hans Jakob Damsgaard AU - Simon Thye Andersen AU - Richard Lin AU - Martin Schoeberl PY - 2021 UR - https://arxiv.org/abs/2102.13460 ID - 2102.13460 ER -