Verification of Chisel Hardware Designs with ChiselVerify A Dobis, K Laeufer, HJ Damsgaard, T Petersen, KJH Rasmussen, ... Microprocessors and Microsystems 96, 104737, 2023 | 12 | 2023 |
Chiselverify: An open-source hardware verification library for chisel and scala A Dobis, T Petersen, HJ Damsgaard, KJH Rasmussen, E Tolotto, ... 2021 IEEE Nordic Circuits and Systems Conference (NorCAS), 1-7, 2021 | 9 | 2021 |
Towards functional coverage-driven fuzzing for chisel designs A Dobis, T Petersen, M Schoeberl Workshop on Open-Source EDA Technology (WOSET 2021), 2021 | 7 | 2021 |
Enabling coverage-based verification in chisel A Dobis, HJ Damsgaard, E Tolotto, K Hesse, T Petersen, M Schoeberl 2022 IEEE European Test Symposium (ETS), 1-6, 2022 | 3 | 2022 |
Formal Verification of Hardware using MLIR A Dobis ETH Zürich, 2024 | | 2024 |