|
Home « Publikationen « Buchbeiträge
| » Evaluating Debugging Algorithms from a Qualitative Perspective |
 |
| Autor: | Alexander Finder, Görschwin Fey
|
| Herausgeber: | Tom J. Kazmierski, Adam Morawiec |
| Buchtitel: | System Specification and Design Languages: Selected Contributions from FDL 2010 |
| Verlag: | Springer |
| Seiten: | 21-36 |
| Erscheinungsjahr: | 2012 |
| Format: | Hardcover |
| | Mehr Informationen |
|
| » SyReC: A Programming Language for Synthesis of Reversible Circuits |
 |
| Autor: | Robert Wille, Sebastian Offermann, Rolf Drechsler
|
| Herausgeber: | Tom J. Kazmierski, Adam Morawiec |
| Buchtitel: | System Specification and Design Languages: Selected Contributions from FDL 2010 |
| Verlag: | Springer |
| Seiten: | 207-222 |
| Erscheinungsjahr: | 2012 |
| Format: | Hardcover |
| | Mehr Informationen |
|
| » Robuste Erfüllbarkeitsalgorithmen für die Generierung hochwertiger Testmuster für digitale Schaltungen |
 |
| Autor: | Stephan Eggersglüß
|
| Herausgeber: | S. Hölldobler et al. |
| Buchtitel: | Ausgezeichnete Informatikdissertationen 2010 |
| Verlag: | GI |
| Seiten: | 81-90 |
| Erscheinungsjahr: | 2011 |
| Format: | Paperback |
|
| » Enhanced Formal Verification Flow for Circuits Integrating Debugging and Coverage Analysis |
 |
| Autor: | Daniel Große, Görschwin Fey, Rolf Drechsler
|
| Herausgeber: | Raimund Ubar, Jaan Raik, Heinrich Theodor Vierhaus |
| Buchtitel: | Design and Test Technology for Dependable Systems-on-Chip |
| Verlag: | Information Science Reference |
| Seiten: | 119-129 |
| Erscheinungsjahr: | 2011 |
| Format: | Hardcover |
|
| » 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 |
|
| » Synthesis of Boolean Functions in Reversible Logic |
 |
| Autor: | Robert Wille, Rolf Drechsler
|
| Herausgeber: | Tsutomu Sasao, Jon T. Butler, Mitchell Thornton |
| Buchtitel: | Progress in Applications of Boolean Functions (Synthesis Lectures on Digital Circuits and Systems) |
| Verlag: | Morgan and Claypool Publishers |
| Seiten: | 75-92 |
| Erscheinungsjahr: | 2010 |
| Format: | Paperback |
|
| » Ein Entwurfsablauf für Reversible Schaltkreise |
|
| Autor: | Robert Wille
|
| Herausgeber: | S. Hölldobler et al. |
| Buchtitel: | Ausgezeichnete Informatikdissertationen 2009 |
| Verlag: | GI |
| Seiten: | 291-300 |
| Erscheinungsjahr: | 2010 |
| Format: | Paperback |
|
| » Non-Clausal SAT and ATPG |
 |
| Autor: | Rolf Drechsler, Tommi Junttila and Ilkka Niemelä
|
| Herausgeber: | A. Biere, M. Heule, H. van Maaren, T. Walsh |
| Buchtitel: | Handbook of Satisfiability |
| Verlag: | IOS Press |
| Seiten: | 655-693 |
| Erscheinungsjahr: | 2009 |
| Format: | gebunden |
| | Mehr Informationen |
|
| » Debugging Contradictory Constraints in Constraint-based Random Simulation |
 |
| Autor: | Daniel Große, Robert Wille, Robert Siegmund, Rolf Drechsler
|
| Herausgeber: | Martin Radetzki |
| Buchtitel: | Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08 |
| Verlag: | Springer |
| Seiten: | 273-290 |
| Erscheinungsjahr: | 2009 |
| Format: | gebunden |
|
| » SWORD: A SAT like Prover Using Word Level Information |
 |
| Autor: | Robert Wille, Görschwin Fey, Daniel Große, Stephan Eggersglüß, Rolf Drechsler
|
| Herausgeber: | Ricardo Reis, Vincent Mooney, Paul Hasler |
| Buchtitel: | 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 |
| Verlag: | Springer |
| Seiten: | 175-192 |
| Erscheinungsjahr: | 2009 |
| Format: | Hardcover |
|
| » An Integrated SystemC Debugging Environment |
 |
| Autor: | Frank Rogin, Christian Genz, Rolf Drechsler, Steffen Rülke
|
| Herausgeber: | Eugenio Villar |
| Buchtitel: | Embedded Systems Specification and Design Languages: Selected contributions from FDL'07 |
| Verlag: | Springer |
| Seiten: | 59-71 |
| Erscheinungsjahr: | 2008 |
| Format: | gebunden |
|
| » Measuring the Quality of a SystemC Testbench by using Code Coverage Techniques |
|
| Autor: | Daniel Große, Hernan Peraza, Wolfgang Klingauf, Rolf Drechsler
|
| Herausgeber: | Eugenio Villar |
| Buchtitel: | Embedded Systems Specification and Design Languages: Selected contributions from FDL'07 |
| Verlag: | Springer |
| Seiten: | 73-86 |
| Erscheinungsjahr: | 2008 |
| Format: | gebunden |
|
| » Non-Intrusive High-level SystemC Debugging |
 |
| Autor: | Frank Rogin, Erhard Fehlauer, Steffen Ruelke, Sebastian Ohnewald, Thomas Berndt
|
| Herausgeber: | Sorin A. Huss |
| Buchtitel: | Advances in Design and Specification Languages for Embedded Systems |
| Verlag: | Springer |
| Seiten: | 131-144 |
| Erscheinungsjahr: | 2007 |
| Format: | gebunden |
| | Mehr Informationen |
|
| » Exact BDD Minimization for Path-Related Objective Functions |
 |
| Autor: | Rüdiger Ebendt, Rolf Drechsler
|
| Herausgeber: | Ricardo Reis, Ada Osseiran, Hans-Jörg Pleiderer |
| Buchtitel: | VLSI-SoC: From Systems to Silicon |
| Verlag: | Springer |
| Seiten: | 299-315 |
| Erscheinungsjahr: | 2007 |
| Format: | gebunden |
|
| » Stuck-At-Fault Testability of SPP Three-Level Logic Forms |
 |
| Autor: | V. Ciriani, A. Bernasconi, Rolf Drechsler
|
| Herausgeber: | M. Glesner, R. Reis, L. Indrusiak, V. Mooney, H. Eveking |
| Buchtitel: | VLSI-SOC: From Systems to Chips |
| Verlag: | Springer |
| Seiten: | 299-313 |
| Erscheinungsjahr: | 2006 |
| Format: | gebunden |
| | Mehr Informationen |
|
| » Exploration of Sequential Depth by Evolutionary Algorithms |
|
| Autor: | Nicole Drechsler, Rolf Drechsler
|
| Herausgeber: | M. Glesner, R. Reis, L. Indrusiak, V. Mooney, H. Eveking |
| Buchtitel: | VLSI-SOC: From Systems to Chips |
| Verlag: | Springer Boston |
| Seiten: | 73-83 |
| Erscheinungsjahr: | 2006 |
| Format: | gebunden |
| | Mehr Informationen |
|
| » Processor Verification |
 |
| Autor: | Daniel Große, Robert Siegmund, Rolf Drechsler
|
| Herausgeber: | Paolo Ienne, Rainer Leupers |
| Buchtitel: | Customizable Embedded Processors |
| Verlag: | Elsevier |
| Seiten: | 281-302 |
| Erscheinungsjahr: | 2006 |
| Format: | gebunden |
|
| » Automatic Test Pattern Generation |
 |
| Autor: | Rolf Drechsler, Görschwin Fey
|
| Herausgeber: | Marco Bernardo, Alessandro Cimatti |
| Buchtitel: | Formal Methods for Hardware Verification, LNCS 3965 |
| Verlag: | Springer |
| Seiten: | 30-55 |
| Erscheinungsjahr: | 2006 |
| Format: | gebunden |
|
| » System-level validation using formal techniques |
 |
| Autor: | Rolf Drechsler, Daniel Große
|
| Herausgeber: | Bashir M. Al-Hashimi |
| Buchtitel: | System-on-Chip: Next Generation Electronics |
| Verlag: | The IEE |
| Seiten: | 715-745 |
| Erscheinungsjahr: | 2006 |
| Format: | gebunden |
|
|
|
|
