|
Home « Team « Publications
» Publications of
Frank Rogin
|
|
 |
BOOKS |
 |
|
BOOK CONTRIBUTIONS |
|
| » An Integrated SystemC Debugging Environment |
|
Author:
| Frank Rogin, Christian Genz, Rolf Drechsler, Steffen Rülke
|
| Editor: | Eugenio Villar |
| Booktitle: | Embedded Systems Specification and Design Languages: Selected contributions from FDL'07 |
| Publisher: | Springer |
| Sites: | 59-71 |
| Year: | 2008 |
| Format: | gebunden |
| » Non-Intrusive High-level SystemC Debugging |
|
Author:
| Frank Rogin, Erhard Fehlauer, Steffen Ruelke, Sebastian Ohnewald, Thomas Berndt
|
| Editor: | Sorin A. Huss |
| Booktitle: | Advances in Design and Specification Languages for Embedded Systems |
| Publisher: | Springer |
| Sites: | 131-144 |
| Year: | 2007 |
| Format: | gebunden |
|
|
JOURNALS |
|
» Advanced Verification by Automatic Property Generation
[Link to the Homepage of this journal]
|
 |
|
|
|
|
Author:
|
|
Frank Rogin, Thomas Klotz, Görschwin Fey, Rolf Drechsler, Steffen Rülke |
| Journal: |
|
IET Computers & Digital Techniques |
| Details: |
|
Volume 3, Issue 4, pp. 338-353, July |
Year:
|
|
2009
|
|
|
CONFERENCES |
|
» Automatic Debugging of System-on-a-Chip Designs
|
|
|
|
Author:
|
|
Frank Rogin, Rolf Drechsler, Steffen Rülke |
| Conference: |
|
IEEE International SOC Conference (SOCC) |
Reference:
|
| Belfast, 2009
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Automatic Generation of Complex Properties for Hardware Designs
|
|
|
|
Author:
|
|
Frank Rogin, Thomas Klotz, Görschwin Fey, Rolf Drechsler Steffen Rülke |
| Conference: |
|
Design, Automation, and Test in Europe (DATE) |
Reference:
|
| Munich, 2008
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» An Integrated SystemC Debugging Environment
|
|
|
|
Author:
|
|
Frank Rogin, Christian Genz, Rolf Drechsler, Steffen Rülke |
| Conference: |
|
Forum on Specification & Design Languages (FDL) |
Reference:
|
| pp. 140-145, Barcelona, 2007
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Non-Intrusive High-level SystemC Debugging
|
|
|
|
Author:
|
|
Frank Rogin, Erhard Fehlauer, Steffen Ruelke, Sebastian Ohnewald, Thomas Berndt |
| Conference: |
|
Forum on specification & Design Languages (FDL) |
Reference:
|
| Darmstadt, 2006
| Hyperlink:
|
| [To the Site of this Conference]
|
|
WORKSHOPS |
|
» Effiziente automatische Generierung von Assertions für industrielle Hardware-Designs
|
|
|
|
Author:
|
|
Frank Rogin, Thomas Klotz, Görschwin Fey, Rolf Drechsler, Steffen Rülke |
| Workshop: |
|
Dresdner Arbeitstagung Schaltungs- und Systementwurf (DASS) |
Reference:
|
| Dresden, 2008
| Hyperlink:
|
| [Link to the Workshop]
|
» Ad-Hoc Translations to Close Verilog Semantics Gap
|
|
|
|
Author:
|
|
Christian Haufe, Frank Rogin |
| Workshop: |
|
11th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems |
Reference:
|
| Bratislava, 2008
| Hyperlink:
|
| [Link to the Workshop]
|
» Debug Patterns for Efficient High-level SystemC Debugging
|
|
|
|
Author:
|
|
Frank Rogin, Erhard Fehlauer, Christian Haufe, Sebastian Ohnewald |
| Workshop: |
|
10th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems |
Reference:
|
| Krakau, 2007
| Hyperlink:
|
| [Link to the Workshop]
|
» Visualized SystemC Debugging
|
|
|
|
Author:
|
|
Christian Genz, Frank Rogin, Rolf Drechsler, Steffen Rülke |
| Workshop: |
|
University Booth at Design, Automation and Test in Europe (DATE07) |
Reference:
|
| Nizza, 2007
| PDF:
|
| [view Pdf]
|
|
|
|
|
