Tjark Petersen

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 7

Top Topics

Formal Verification

Hardware Designs

Energy Consumption

Preprocessing Phase

Top Venues

Microprocess. Microsystems

Publications

Kasper Hesse, Tjark Petersen, Jens Sparsø
Asynchronous Circuit Design in Chisel Using Phase-Decoupled Click Elements. DSD (2023)
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. Microprocess. Microsystems 96 (2023)
Syed Anas Alam, Jakob Furbo Enevoldsen, Andreas Alkjaer Eriksen, Niels William Hartmann, Ulrik Helk, Jphirgen Kragh Jakobsen, Christa Skytte Jensen, Nicolai Dyre Bülow Jespersen, Karl Herman Krause, Mads Rumle Nordstrphim, Tjark Petersen, Luca Pezzarossa, Simon Winther Rasmussen, Martin Schoeberl, Jonas Ingerslev Sphirensen
Open-Source Chip Design in Academic Education. NorCAS (2022)
Maja H. Kirkeby, Thomas Krabben, Mathias Larsen, Maria Bendix Mikkelsen, Tjark Petersen, Mads Rosendahl, Martin Schoeberl, Martin Sundman
Energy Consumption and Performance of Heapsort in Hardware and Software. CoRR (2022)
Andrew Dobis, Hans Jakob Damsgaard, Enrico Tolotto, Kasper Hesse, Tjark Petersen, Martin Schoeberl
Enabling Coverage-Based Verification in Chisel. ETS (2022)
Andrew Dobis, Tjark Petersen, Kasper Juul Hesse Rasmussen, Enrico Tolotto, Hans Jakob Damsgaard, Simon Thye Andersen, Richard Lin, Martin Schoeberl
Open-Source Verification with Chisel and Scala. CoRR (2021)
Andrew Dobis, Tjark Petersen, Hans Jakob Damsgaard, Kasper Juul Hesse Rasmussen, Enrico Tolotto, Simon Thye Andersen, Richard Lin, Martin Schoeberl
ChiselVerify: An Open-Source Hardware Verification Library for Chisel and Scala. NorCAS (2021)