Andrew Dobis

Publication Activity (10 Years)

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

Top Topics

Formal Verification

Hardware Designs

Vlsi Implementation

Computational Power

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, Hans Jakob Damsgaard, Enrico Tolotto, Kasper Hesse, Tjark Petersen, Martin Schoeberl
Enabling Coverage-Based Verification in Chisel. ETS (2022)
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)