|
Home « Publications « Book contributions
| » Non-Clausal SAT and ATPG |
 |
| Author: | Rolf Drechsler, Tommi Junttila and Ilkka Niemelä
|
| Editor: | A. Biere, M. Heule, H. van Maaren, T. Walsh |
| Booktitle: | Handbook of Satisfiability |
| Publisher: | IOS Press |
| Sites: | 655-693 |
| Year: | 2009 |
| Format: | gebunden |
| | More Information |
|
| » Debugging Contradictory Constraints in Constraint-based Random Simulation |
 |
| Author: | Daniel Große, Robert Wille, Robert Siegmund, Rolf Drechsler
|
| Editor: | Martin Radetzki |
| Booktitle: | Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08 |
| Publisher: | Springer |
| Sites: | 273-290 |
| Year: | 2009 |
| Format: | gebunden |
|
| » SWORD: A SAT like Prover Using Word Level Information |
 |
| Author: | Robert Wille, Görschwin Fey, Daniel Große, Stephan Eggersglüß, Rolf Drechsler
|
| Editor: | Ricardo Reis, Vincent Mooney, Paul Hasler |
| Booktitle: | VLSI-SoC: Advanced Topics on Systems on a Chip:
A Selection of Extended Versions of the Best Papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip |
| Publisher: | Springer |
| Sites: | 175-192 |
| Year: | 2009 |
| Format: | Hardcover |
|
| » 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: | 131-144 |
| Year: | 2007 |
| Format: | gebunden |
| | More Information |
|
| » 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 |
| | More Information |
|
| » 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 |
| | More Information |
|
| » 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 |
|
|
|
|
