|
| » 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 |
|
| » Measuring the Quality of a SystemC Testbench by using Code Coverage Techniques |
|
| Author: | Daniel Große, Hernan Peraza, Wolfgang Klingauf, Rolf Drechsler
|
| Editor: | Eugenio Villar |
| Booktitle: | Embedded Systems Specification and Design Languages: Selected contributions from FDL'07 |
| Publisher: | Springer |
| Sites: | 73-86 |
| 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: | |
| Year: | 2007 |
| Format: | gebunden |
|
| » Exact BDD Minimization for Path-Related Objective Functions |
 |
| Author: | Rüdiger Ebendt, Rolf Drechsler
|
| Editor: | Ricardo Reis, Ada Osseiran, Hans-Jörg Pleiderer |
| Booktitle: | VLSI-SoC: From Systems to Silicon |
| Publisher: | Springer |
| Sites: | 299-315 |
| Year: | 2007 |
| Format: | gebunden |
|
| » Stuck-At-Fault Testability of SPP Three-Level Logic Forms |
 |
| Author: | V. Ciriani, A. Bernasconi, Rolf Drechsler
|
| Editor: | M. Glesner, R. Reis, L. Indrusiak, V. Mooney, H. Eveking |
| Booktitle: | VLSI-SOC: From Systems to Chips |
| Publisher: | Springer |
| Sites: | 299-313 |
| Year: | 2006 |
| Format: | gebunden |
|
| » Exploration of Sequential Depth by Evolutionary Algorithms |
|
| Author: | Nicole Drechsler, Rolf Drechsler
|
| Editor: | M. Glesner, R. Reis, L. Indrusiak, V. Mooney, H. Eveking |
| Booktitle: | VLSI-SOC: From Systems to Chips |
| Publisher: | Springer Boston |
| Sites: | 73-83 |
| Year: | 2006 |
| Format: | gebunden |
|
| » Processor Verification |
 |
| Author: | Daniel Große, Robert Siegmund, Rolf Drechsler
|
| Editor: | Paolo Ienne, Rainer Leupers |
| Booktitle: | Customizable Embedded Processors |
| Publisher: | Elsevier |
| Sites: | 281-302 |
| Year: | 2006 |
| Format: | gebunden |
|
| » Automatic Test Pattern Generation |
 |
| Author: | Rolf Drechsler, Görschwin Fey
|
| Editor: | Marco Bernardo, Alessandro Cimatti |
| Booktitle: | Formal Methods for Hardware Verification, LNCS 3965 |
| Publisher: | Springer |
| Sites: | 30-55 |
| Year: | 2006 |
| Format: | gebunden |
|
| » System-level validation using formal techniques |
 |
| Author: | Rolf Drechsler, Daniel Große
|
| Editor: | Bashir M. Al-Hashimi |
| Booktitle: | System-on-Chip: Next Generation Electronics |
| Publisher: | The IEE |
| Sites: | 715-745 |
| Year: | 2006 |
| Format: | gebunden |
|
|
|
|
