Kasper Juul Hesse Rasmussen

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 3

Top Topics

Formal Verification

Hardware Designs

Computational Power

Open Source Projects

Top Venues

Microprocess. Microsystems

Publications

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. Microprocess. Microsystems 96 (2023)
Andrew Dobis, Tjark Petersen, Kasper Juul Hesse Rasmussen, Enrico Tolotto, Hans Jakob Damsgaard, Simon Thye Andersen, Richard Lin, Martin Schoeberl
Open-Source Verification with Chisel and Scala. CoRR (2021)
Andrew Dobis, Tjark Petersen, Hans Jakob Damsgaard, Kasper Juul Hesse Rasmussen, Enrico Tolotto, Simon Thye Andersen, Richard Lin, Martin Schoeberl
ChiselVerify: An Open-Source Hardware Verification Library for Chisel and Scala. NorCAS (2021)