Searching for authors named "Rolf Drechsler" – sorted by Relevance.
141 documents found, showing 1 through 10.
Next 10 →
-
JADE: Implementation and Visualization of a BDD Package in JAVA
- …Abstract JADE: Implementation and Visualization of a BDD Package in JAVA Rolf Drechsler Institute…
- Add To MetaCart
-
Using Synthesis Techniques in SAT Solvers
- …1. Introduction Using Synthesis Techniques in SAT Solvers Rolf Drechsler Institute of Computer…
- Cited by 1 (0 self) – Add To MetaCart
-
Evaluation of Static Variable Ordering Heuristics for MDD Construction
- …Evaluation of Static Variable Ordering Heuristics for MDD Construction Rolf Drechsler Institute…
- Cited by 1 (0 self) – Add To MetaCart
-
Evolutionary Algorithms in Computer Aided Design of Integrated Circuits
- …-311, Singapore, 1997 Evolutionary Algorithms in Computer Aided Design of Integrated Circuits Rolf Drechsler…
- Cited by 5 (2 self) – Add To MetaCart
-
Synthesizing Checkers For On-Line Verification Of System-On-Chip Designs
- … not been considered. But there is a need for these techniques in at least two problem domains: Rolf…
- Cited by 4 (2 self) – Add To MetaCart
-
Towards Formal Verification on the System Level
- …. Beside be- (Invited Talk) Rolf Drechsler Institute of Computer Science University of Bremen 28359 Bremen…
- Cited by 1 (0 self) – Add To MetaCart
-
Efficient Functional Diagnosis For Synchronous Sequential Circuits Based On And/or Graphs
- …, 1997 EFFICIENT FUNCTIONAL DIAGNOSIS FOR SYNCHRONOUS SEQUENTIAL CIRCUITS BASED ON AND/OR GRAPHS Rolf…
- Cited by 2 (2 self) – Add To MetaCart
-
A Hybrid Approach Combining Symbolic and Structural Techniques for Disjoint SOP Minimization
- … Grschwin Fey Rolf Drechsler Institute of Computer Science University of Bremen, 28359 Bremen, Germany ffey…
- Cited by 1 (1 self) – Add To MetaCart
-
Reachability Analysis for Formal Verification of SystemC
- …Reachability Analysis for Formal Verification of SystemC Rolf Drechsler Daniel Große Institute…
- Cited by 11 (4 self) – Add To MetaCart
-
How many Decomposition Types do we need ?
- … Types do we need ? Bernd Becker Rolf Drechsler Computer Science Department Johann Wolfgang Goethe…
- Cited by 21 (5 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
