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. Microprocessors and Microsystems, 96:104737, February 2023. [doi]
@article{DobisLDPRTALS23,
title = {Verification of Chisel Hardware Designs with ChiselVerify},
author = {Andrew Dobis and Kevin Laeufer and Hans Jakob Damsgaard and Tjark Petersen and Kasper Juul Hesse Rasmussen and Enrico Tolotto and Simon Thye Andersen and Richard Lin and Martin Schoeberl},
year = {2023},
month = {February},
doi = {10.1016/j.micpro.2022.104737},
url = {https://doi.org/10.1016/j.micpro.2022.104737},
researchr = {https://researchr.org/publication/DobisLDPRTALS23},
cites = {0},
citedby = {0},
journal = {Microprocessors and Microsystems},
volume = {96},
pages = {104737},
}