|
Home « Team « Publikationen
» Publikationen von
Finn Haedicke
|
 |
BÜCHER |
 |
|
BUCHBEITRÄGE |
|
| » SMT-based Stimuli Generation in the SystemC Verification Library |
|
Autor:
| Robert Wille, Daniel Große, Finn Haedicke, Rolf Drechsler
|
| Herausgeber: | Dominique Borrione |
| Buchtitel: | Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s: Selected Contributions on Specification, Design, and Verification from FDL 2009 |
| Verlag: | Springer |
| Seiten: | 227-244 |
| Erscheinungsjahr: | 2010 |
| Format: | Hardcover |
|
|
ZEITSCHRIFTEN |
|
|
KONFERENZEN |
|
» The System Verification Methodology for
Advanced TLM Verification
|
|
|
|
Autor:
|
|
Marcio F. S. Oliveira, Christoph Kuznik, Wolfgang Mueller, Finn Haedicke, Hoang M. Le, Daniel Große, Rolf Drechsler, Wolfgang Ecker, Volkan Esen |
| Konferenz: |
|
International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) |
Referenz:
|
| pp. 313-322, Tampere, 2012
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» CRAVE: An Advanced Constrained RAndom Verification Environment for SystemC
|
|
|
|
Autor:
|
|
Finn Haedicke, Hoang M. Le, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
International Symposium on System-on-Chip (SoC) |
Referenz:
|
| pp. 1-7, Tampere, 2012
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» A Guiding Coverage Metric for Formal Verification
|
|
|
|
Autor:
|
|
Finn Haedicke, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
Design, Automation and Test in Europe (DATE) |
Referenz:
|
| Dresden, 2012
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Hochoptimierter Ablauf zur Robustheitsprüfung
|
|
|
|
Autor:
|
|
Stefan Frehse, Finn Haedicke, Melanie Diepenbeck, Görschwin Fey, Rolf Drechsler |
| Konferenz: |
|
GMM/GI/ITG-Fachtagung Zuverlässigkeit und Entwurf (ZUE) |
Referenz:
|
| Hamburg-Harburg, 2011
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Polynomial Datapath Optimization using Constraint Solving and Formal Modelling
|
|
|
|
Autor:
|
|
Finn Haedicke, Bijan Alizadeh, Görschwin Fey, Masahiro Fujita, Rolf Drechsler |
| Konferenz: |
|
IEEE/ACM International Conference on Computer Aided Design (ICCAD) |
Referenz:
|
| San Jose, 2010
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» SMT-based Stimuli Generation in the SystemC Verification Library
|
|
|
|
Autor:
|
|
Robert Wille, Daniel Große, Finn Haedicke, Rolf Drechsler |
| Konferenz: |
|
Forum on specification & Design Languages (FDL) |
Referenz:
|
| pp. 1-6, Sophia Antipolis, 2009
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
|
WORKSHOPS |
|
» Compilation of Methodologies to Speed up the Verification Process
at System Level
|
|
|
|
Autor:
|
|
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 |
Referenz:
|
| pp. 57-62, Hannover, 2012
| Hyperlink:
|
| [Link zum Workshop]
|
» CRAVE: An Advanced Constrained Random Verification Environment for SystemC
|
|
|
|
Autor:
|
|
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) |
Referenz:
|
| Kaiserslautern, 2012
Software and benchmarks available at www.systemc-verification.org
| Hyperlink:
|
| [Link zum Workshop]
|
» metaSMT: Focus on Your Application not on Solver Integration
|
|
|
|
Autor:
|
|
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 |
Referenz:
|
| pp. 22-29, Austin, USA, 2011
| PDF:
|
| [hier ansehen]
| Hyperlink:
|
| [Link zum Workshop]
|
|
|
|
