Login / Signup
Tobias Ludwig
ORCID
Publication Activity (10 Years)
Years Active: 2016-2020
Publications (10 Years): 2
Top Topics
Safety Analysis
Design Methodology
Hw Sw
Hardware Software
Top Venues
ICCAD
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
</>
Publications
</>
Tobias Ludwig
,
Joakim Urdahl
,
Dominik Stoffel
,
Wolfgang Kunz
Properties First - Correct-By-Construction RTL Design in System-Level Design Flows.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
39 (10) (2020)
Joakim Urdahl
,
Shrinidhi Udupi
,
Tobias Ludwig
,
Dominik Stoffel
,
Wolfgang Kunz
Properties first? a new design methodology for hardware, and its perspectives in safety analysis.
ICCAD
(2016)