Login / Signup
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
CoRR
NorCAS
ETS
Microprocess. Microsystems
</>
Publications
</>