Tjark Petersen

According to our database, Tjark Petersen authored at least 9 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Energy-efficiency of software and hardware algorithms.

Maja H. Kirkeby, Thomas Krabben, Maria Bendix Mikkelsen, Mads Rosendahl, Mathias Marquar Arhipenko Larsen, Martin Sundman, Tjark Petersen, Martin Schoeberl

Comput. Sci. Inf. Syst., 2025

A Structured Approach to Verification of Digital Hardware in Scala.

Tjark Petersen, Luca Pezzarossa, Martin Schoeberl

Proceedings of the 28th Euromicro Conference on Digital System Design, 2025

2023

Verification of Chisel Hardware Designs with ChiselVerify.

Andrew Dobis, Kevin Laeufer, Hans Jakob Damsgaard, Tjark Petersen, Kasper Juul Hesse Rasmussen, Enrico Tolotto, Simon Thye Andersen, Richard Lin, Martin Schoeberl

Microprocess. Microsystems, February, 2023

Asynchronous Circuit Design in Chisel Using Phase-Decoupled Click Elements.

Kasper Hesse, Tjark Petersen, Jens Sparsø

Proceedings of the 26th Euromicro Conference on Digital System Design, 2023

2022

Energy Consumption and Performance of Heapsort in Hardware and Software.

Maja H. Kirkeby, Thomas Krabben, Mathias Marquar Arhipenko Larsen, Maria Bendix Mikkelsen, Tjark Petersen, Mads Rosendahl, Martin Schoeberl, Martin Sundman

CoRR, 2022

Open-Source Chip Design in Academic Education.

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

Proceedings of the IEEE Nordic Circuits and Systems Conference, NorCAS 2022, Oslo, 2022

Enabling Coverage-Based Verification in Chisel.

Andrew Dobis, Hans Jakob Damsgaard, Enrico Tolotto, Kasper Hesse, Tjark Petersen, Martin Schoeberl

Proceedings of the IEEE European Test Symposium, 2022

2021

Open-Source Verification with Chisel and Scala.

Andrew Dobis, Tjark Petersen, Kasper Juul Hesse Rasmussen, Enrico Tolotto, Hans Jakob Damsgaard, Simon Thye Andersen, Richard Lin, Martin Schoeberl

CoRR, 2021

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

Andrew Dobis, Tjark Petersen, Hans Jakob Damsgaard, Kasper Juul Hesse Rasmussen, Enrico Tolotto, Simon Thye Andersen, Richard Lin, Martin Schoeberl

Proceedings of the IEEE Nordic Circuits and Systems Conference, NorCAS 2021, Oslo, 2021