Frank Rogin

Publication Activity (10 Years)

Years Active: 2006-2009
Publications (10 Years): 0

Publications

Frank Rogin, Rolf Drechsler, Steffen Rülke
Automatic debugging of System-on-a-Chip designs. SoCC (2009)
Frank Rogin, Thomas Klotz, Görschwin Fey, Rolf Drechsler, Steffen Rülke
Advanced verification by automatic property generation. IET Comput. Digit. Tech. 3 (4) (2009)
Christian Haufe, Frank Rogin
Ad-Hoc Translations to Close Verilog Semantics Gap. DDECS (2008)
Frank Rogin, Thomas Klotz, Görschwin Fey, Rolf Drechsler, Steffen Rülke
Automatic Generation of Complex Properties for Hardware Designs. DATE (2008)
Frank Rogin, Christian Genz, Rolf Drechsler, Steffen Rülke
An Integrated SystemC Debugging Environment. FDL (2007)
Frank Rogin, Erhard Fehlauer, Christian Haufe, Sebastian Ohnewald
Debug Patterns for Efficient High-level SystemC Debugging. DDECS (2007)
Frank Rogin, Erhard Fehlauer, Steffen Rülke, Sebastian Ohnewald, Thomas Berndt
Non-Intrusive High-level SystemC Debugging. FDL (2006)