Homepage Sitemap Contact




Home « Team « Publications
» Publications of Finn Haedicke



BOOKS


BOOK CONTRIBUTIONS
» SMT-based Stimuli Generation in the SystemC Verification Library
Bigpicture: Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s: Selected Contributions on Specification, Design, and Verification from FDL 2009 Author:

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

Editor:Dominique Borrione
Booktitle:Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s: Selected Contributions on Specification, Design, and Verification from FDL 2009
Publisher:Springer
Sites:227-244
Year:2010
Format:Hardcover





JOURNALS

» metaSMT: Focus On Your Application And Not On Solver Integration
[Link to the Homepage of this journal]




Author:

Heinz Riener, Finn Haedicke, Stefan Frehse, Mathias Soeken, Daniel Große, Rolf Drechsler, Görschwin Fey
Journal:
International Journal of Software Tools for Technology Transfer
Details:
19(5):605-621, DOI10.1007/s10009-016-0426-1 Link
Year:


2017






CONFERENCES



» Constraint-based Platform Variants Specification for Early System Verification




Author:

Andreas Burger, Alexander Viehl, Andreas Braun, Finn Haedicke, Daniel Große, Oliver Bringmann, Wolgang Rosenstiel
Conference:
Asia and South Pacific Design Automation Conference (ASP-DAC)
Reference:

pp. 800-805, Singapore, 2014
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» The System Verification Methodology for Advanced TLM Verification




Author:

Marcio F. S. Oliveira, Christoph Kuznik, Wolfgang Mueller, Finn Haedicke, Hoang M. Le, Daniel Große, Rolf Drechsler, Wolfgang Ecker, Volkan Esen
Conference:
International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
Reference:

pp. 313-322, Tampere, 2012
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» CRAVE: An Advanced Constrained RAndom Verification Environment for SystemC




Author:

Finn Haedicke, Hoang M. Le, Daniel Große, Rolf Drechsler
Conference:
International Symposium on System-on-Chip (SoC)
Reference:

pp. 1-7, Tampere, 2012
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» A Guiding Coverage Metric for Formal Verification




Author:

Finn Haedicke, Daniel Große, Rolf Drechsler
Conference:
Design, Automation and Test in Europe (DATE)
Reference:

Dresden, 2012
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Hochoptimierter Ablauf zur Robustheitsprüfung




Author:

Stefan Frehse, Finn Haedicke, Melanie Diepenbeck, Görschwin Fey, Rolf Drechsler
Conference:
GMM/GI/ITG-Fachtagung Zuverlässigkeit und Entwurf (ZUE)
Reference:

Hamburg-Harburg, 2011
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Polynomial Datapath Optimization using Constraint Solving and Formal Modelling




Author:

Finn Haedicke, Bijan Alizadeh, Görschwin Fey, Masahiro Fujita, Rolf Drechsler
Conference:
IEEE/ACM International Conference on Computer Aided Design (ICCAD)
Reference:

San Jose, 2010
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» SMT-based Stimuli Generation in the SystemC Verification Library




Author:

Robert Wille, Daniel Große, Finn Haedicke, Rolf Drechsler
Conference:
Forum on specification & Design Languages (FDL)
Reference:

pp. 1-6, Sophia Antipolis, 2009
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]


WORKSHOPS




» Compilation of Methodologies to Speed up the Verification Process at System Level




Author:

Stephan Radke, Steffen Rülke, Marcio F. S. Oliveira, Christoph Kuznik, Wolfgang Müller, Wolfgang Ecker, Volkan Esen, Simon Hufnagel, Nico Bannow, Helmut Brazdrum, Peter Janssen, Hoang M. Le, Daniel Große, Rolf Drechsler, Erhard Fehlauer, Gernot Koch, Andreas Burger, Oliver Bringmann, Wolfgang Rosenstiel, Finn Haedicke, Ralph Görgen, Jan-Hendrik Oetjens
Workshop:
edaWorkshop
Reference:

pp. 57-62, Hannover, 2012
Hyperlink:

[Link to the Workshop]



» CRAVE: An Advanced Constrained Random Verification Environment for SystemC




Author:

Finn Haedicke, Hoang M. Le, Daniel Große, Rolf Drechsler
Workshop:
15. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Reference:

pp. 37-48, Kaiserslautern, 2012
Software and benchmarks available at www.systemc-verification.org
Hyperlink:

[Link to the Workshop]



» metaSMT: Focus on Your Application not on Solver Integration




Author:

Finn Haedicke, Stefan Frehse, Görschwin Fey, Daniel Große, Rolf Drechsler
Workshop:
DIFTS'11: 1st International workshop on design and implementation of formal tools and systems
Reference:

pp. 22-29, Austin, USA, 2011
PDF:

[view Pdf]
Hyperlink:

[Link to the Workshop]

















Die deutsche Version ist von dieser Seite nicht erreichbar - bitte gehen Sie eine Seite zurück.









Sitemap Kontakt

ISMVL2014 DUHDE