Simon Thye Andersen

Statistics

Publications

Citations

H-Index

Active since

2021

Affiliations

Technical University of Denmark(Current)

University of California, Berkeley

Simon Thye Andersen is an author at Technical University of Denmark specializing in computer science, formal methods, and hardware modeling for digital systems.

Publications per year

2021–2022

Publications

Verification of Chisel Hardware Designs with ChiselVerify

Amelia Dobis, Kevin Laeufer, Hans Jakob Damsgaard et al. · Microprocessors and Microsystems · 2022 · 17 citations · Full text

Engineering, Computer Engineering, Computer Science +15

ChiselVerify: An Open-Source Hardware Verification Library for Chisel and Scala

Amelia Dobis, Tjark Petersen, Hans Jakob Damsgaard et al. · 2021 · 13 citations

Computing, Computer Engineering, Computer Science +11

1–2 of 2