Finn Haedicke

According to our database, Finn Haedicke authored at least 9 papers between 2009 and 2017.

Collaborative distances:

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

2017

metaSMT: focus on your application and not on solver integration.

Heinz Riener, Finn Haedicke, Stefan Frehse, Mathias Soeken, Daniel Große, Rolf Drechsler, Görschwin Fey

Int. J. Softw. Tools Technol. Transf., 2017

2016

High-quality hardware design and verification using word-level satisfiability techniques.

Finn Haedicke

PhD thesis, 2016

2014

Constraint-based platform variants specification for early system verification.

Andreas Burger, Alexander Viehl, Andreas Braun, Finn Haedicke, Daniel Große, Oliver Bringmann, Wolfgang Rosenstiel

Proceedings of the 19th Asia and South Pacific Design Automation Conference, 2014

2012

CRAVE: An Advanced Constrained RAndom Verification Environment for SystemC.

Finn Haedicke, Hoang Minh Le, Daniel Große, Rolf Drechsler

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2012

A guiding coverage metric for formal verification.

Finn Haedicke, Daniel Große, Rolf Drechsler

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

The system verification methodology for advanced TLM verification.

Marcio Ferreira da Silva Oliveira, Christoph Kuznik, Hoang Minh Le, Daniel Große, Finn Haedicke, Wolfgang Müller, Rolf Drechsler, Wolfgang Ecker, Volkan Esen

Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, 2012

2011

metaSMT: Focus on Your Application not on Solver Integration.

Finn Haedicke, Stefan Frehse, Görschwin Fey, Daniel Große, Rolf Drechsler

Proceedings of the First International Workshop on Design and Implementation of Formal Tools and Systems, 2011

2010

Polynomial datapath optimization using constraint solving and formal modelling.

Finn Haedicke, Bijan Alizadeh, Görschwin Fey, Masahiro Fujita, Rolf Drechsler

Proceedings of the 2010 International Conference on Computer-Aided Design, 2010

2009

SMT-based stimuli generation in the SystemC Verification library.

Robert Wille, Daniel Große, Finn Haedicke, Rolf Drechsler

Proceedings of the Forum on specification and Design Languages, 2009