Verification of Chisel Hardware Designs with ChiselVerify

Autor: Dobis, Andrew, Laeufer, Kevin, Damsgaard, Hans Jakob, Petersen, Tjark, Rasmussen, Kasper Juul Hesse, Tolotto, Enrico, Andersen, Simon Thye, Lin, Richard, Schoeberl, Martin
Zdroj: In Microprocessors and Microsystems February 2023 96
Databáze: ScienceDirect