Follow
Amelia Dobis
Amelia Dobis
PhD Student in Computer Science, Princeton University
Verified email at princeton.edu - Homepage
Title
Cited by
Cited by
Year
Verification of Chisel Hardware Designs with ChiselVerify
A Dobis, K Laeufer, HJ Damsgaard, T Petersen, KJH Rasmussen, ...
Microprocessors and Microsystems 96, 104737, 2023
122023
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
92021
Towards functional coverage-driven fuzzing for chisel designs
A Dobis, T Petersen, M Schoeberl
Workshop on Open-Source EDA Technology (WOSET 2021), 2021
72021
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
32022
Formal Verification of Hardware using MLIR
A Dobis
ETH Zürich, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–5