» Modeling and Proving Completeness in Formal Verification of Counting Heads
[Link to the homepage of the journal]
|
 |
|
|
|
|
Autor:
|
|
Sebastian Kinder, Rolf Drechsler |
| Journal: |
|
Software Tools for Technology Transfer (STTT)
|
| Details: |
|
Springer, Volume 10, Number 6, pp. 521 - 534 |
Year:
|
|
2008
|
|
» On Acceleration of SAT-based ATPG for Industrial Designs
[Link to the homepage of the journal]
|
 |
|
|
|
|
Autor:
|
|
Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Andreas Glowatz, Friedrich Hapke, Juergen Schloeffel, Daniel Tille |
| Journal: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Volume 27, Number 7, pp. 1329-1333, July |
Year:
|
|
2008
|
|
» Improved SAT-based Reachability Analysis with Observability Don’t Cares
[Link to the homepage of the journal]
|
 |
|
|
|
|
Autor:
|
|
Sean Safarpour, Andreas Veneris and Rolf Drechsler |
| Journal: |
|
Journal on Satisfiability, Boolean Modeling and Computation (JSAT) |
| Details: |
|
Volume 5, pp. 1-25, Special Volume on Application of Constraints to Formal Verification |
Year:
|
|
2008
|
|
» On the Construction of Small Fully Testable Circuits with Low Depth
[Link to the homepage of the journal]
|
 |
|
|
|
|
Autor:
|
|
Görschwin Fey, Anna Bernasconi, Valentina Ciriani, Rolf Drechsler |
| Journal: |
|
Embedded Hardware Design - Microprocessors and Microsystems (MICPRO) |
| Details: |
|
Special Issue, Volume 32, Issues 5-6, pp. 263-269 |
Year:
|
|
2008
|
|
» Logic Minimization and Testability of 2-SPP Networks
[Link to the homepage of the journal]
|
|
|
|
|
|
Autor:
|
|
Anna Bernasconi, Valentina Ciriani, Rolf Drechsler, Tiziano Villa |
| Journal: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Volume 27, Number 7, pp. 1190-1202, July |
Year:
|
|
2008
|
|
» Analyzing Functional Coverage in Bounded Model Checking
[Link to the homepage of the journal]
|
|
|
|
|
|
Autor:
|
|
Daniel Große, Ulrich Kühne, Rolf Drechsler |
| Journal: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Volume 27, Number 7, pp. 1305-1314, July |
Year:
|
|
2008
|
|
» Automatic Fault Localization for Property Checking
[Link to the homepage of the journal]
|
|
|
|
|
|
Autor:
|
|
Görschwin Fey, Stefan Staber, Roderick Bloem, Rolf Drechsler |
| Journal: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Volume 27, Number 6, pp. 1138-1149, June |
Year:
|
|
2008
|
|
» BDD-based Verification of Scalable Designs
[Link to the homepage of the journal]
|
 |
|
|
|
|
Autor:
|
|
Daniel Große, Rolf Drechsler |
| Journal: |
|
Facta Universitatis, Series: Electronics and Energetics |
| Details: |
|
Volume 20, Number 3, pp. 367-379 |
Year:
|
|
2007
|
|
» Building Free Binary Decision Diagrams Using SAT Solvers
[Link to the homepage of the journal]
|
|
|
|
|
|
Autor:
|
|
Robert Wille, Görschwin Fey, Rolf Drechsler |
| Journal: |
|
Facta Universitatis, Series: Electronics and Energetics |
| Details: |
|
Volume 20, Number 3, pp. 381-394, |
Year:
|
|
2007
|
|
» An Integrated Approach for Combining BDDs and SAT Provers
[Link to the homepage of the journal]
|
|
|
|
|
|
Autor:
|
|
Rolf Drechsler, Görschwin Fey, Sebastian Kinder |
| Journal: |
|
Facta Universitatis, Series: Electronics and Energetics
|
| Details: |
|
Volume 20, Number 3, pp. 415-436 |
Year:
|
|
2007
|
|
» Simultaneous On-Chip Bus Synthesis and Voltage Scaling Under Random On-Chip Data Traffic
|
 |
|
|
|
|
Autor:
|
|
Sujan Pandey, Manfred Glesner |
| Journal: |
|
IEEE Transaction on Very Large Scale Integration (VLSI) Systems |
| Details: |
|
Volume 15, Number 10, pp. 1111-1124, October |
Year:
|
|
2007
|
|
» Technische Dokumentation von Soft- und Hardware in
eingebetteten Systemen
[Link to the homepage of the journal]
|
 |
|
|
|
|
Autor:
|
|
Beate Muranko, Rolf Drechsler |
| Journal: |
|
it - information technology |
| Details: |
|
Number 2, pp. 110-117
Pdf download |
Year:
|
|
2007
|
|
» Exact minimisation of path-related objective functions for binary decision diagrams
[Link to the homepage of the journal]
|
 |
|
|
|
|
Autor:
|
|
Rüdiger Ebendt, Rolf Drechsler |
| Journal: |
|
IEE Proceedings Computer & Digital Techniques |
| Details: |
|
Volume 153, Number 4, pp. 231-242, July |
Year:
|
|
2006
|
|
» Testability of SPP Three-Level Logic Networks in Static Fault Models
[Link to the homepage of the journal]
|
|
|
|
|
|
Autor:
|
|
Valentina Ciriani, Anna Bernasconi, Rolf Drechsler |
| Journal: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Volume 25, Number 10, pp. 2241-2248, October |
Year:
|
|
2006
|
|
» The Effect of Improved Lower Bounds in Dynamic BDD Reordering
[Link to the homepage of the journal]
|
|
|
|
|
|
Autor:
|
|
Rüdiger Ebendt, Rolf Drechsler |
| Journal: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Volume 25, Number 5, pp. 902-909, May |
Year:
|
|
2006
|
|
» Minimizing the Number of Paths in BDDs
- Theory and Algorithm
[Link to the homepage of the journal]
|
|
|
|
|
|
Autor:
|
|
Görschwin Fey, Rolf Drechsler |
| Journal: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Volume 25, Number 1, pp. 4-11, January |
Year:
|
|
2006
|
|
» Combining Ordered Best-First Search with Branch and Bound for Exact BDD Minimization
[Link to the homepage of the journal]
|
|
|
|
|
|
Autor:
|
|
Rüdiger Ebendt, Wolfgang Günther, Rolf Drechsler |
| Journal: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Volume 24, Number 10, pp. 1515-1529, October |
Year:
|
|
2005
|
|
» System Level Validation Using Formal Techniques
[Link to the homepage of the journal]
|
|
|
|
|
|
Autor:
|
|
Rolf Drechsler, Daniel Große |
| Journal: |
|
IEE Proceedings Computer & Digital Techniques, Special Issue on Embedded Microelectronic Systems: Status and Trends |
| Details: |
|
Volume 152, Number 3, pp. 393-406, May |
Year:
|
|
2005
|
|
» Generic Implementation of Multi-Valued Decision Diagram Packages
|
 |
|
|
|
|
Autor:
|
|
Rolf Drechsler, Dragan Jankovic, Radomir Stankovic |
| Journal: |
|
Multiple-Valued Logic and Soft Computing |
| Details: |
|
Volume 11, Numbers 1-2, pp. 1-18 |
Year:
|
|
2005
|
|
» Project-Based Learning in Student Teams in Computer Science Education
[Link to the homepage of the journal]
|
|
|
|
|
|
Autor:
|
|
Andreas Breiter, Görschwin Fey, Rolf Drechsler |
| Journal: |
|
Facta Universitatis, Series: Electronics and Energetics
|
| Details: |
|
Volume 18, Number 2, August, pp. 165-180. |
Year:
|
|
2005
|
|
