Search Results - Drechsler, Rolf

Rolf Drechsler

Rolf Drechsler is an electrical engineer at the University of Bremen, Germany. He was named a Fellow of the Institute of Electrical and Electronics Engineers (IEEE) in 2015 for his contributions in testing and verification of electronic circuits and systems. He was named as an ACM Fellow in 2023. Provided by Wikipedia
Refine Results
  1. 1
    Cover Image

    Evolutionary Algorithms for Embedded System Design by Drechsler, Rolf

    Published 2003
    Full Text (via Springer)
    Electronic eBook

    Save to List
    Saved in:
  2. 2
    Cover Image

    Binary Decision Diagrams : Theory and Implementation / by Drechsler, Rolf

    Published 1998
    Full Text (via Springer)
    eBook

    Save to List
    Saved in:
  3. 3
    Cover Image

    Towards One-Pass Synthesis / by Drechsler, Rolf

    Published 2002
    Full Text (via Springer)
    eBook

    Save to List
    Saved in:
  4. 4
    Cover Image

    Formal Verification of Circuits / by Drechsler, Rolf

    Published 2000
    Full Text (via Springer)
    eBook

    Save to List
    Saved in:
  5. 5
    Cover Image

    Binary decision diagrams : theory and implementation / by Drechsler, Rolf

    Published 1998
    Book

    Save to List
    Saved in:
  6. 6
    Cover Image

    Evolutionary Algorithms for VLSI CAD / by Drechsler, Rolf

    Published 1998
    Full Text (via Springer)
    eBook

    Save to List
    Saved in:
  7. 7
    Cover Image

    Formal verification of circuits / by Drechsler, Rolf

    Published 2000
    Book

    Save to List
    Saved in:
  8. 8
    Cover Image

    Evolutionary algorithms for VLSI CAD / by Drechsler, Rolf

    Published 1998
    Book

    Save to List
    Saved in:
  9. 9
    Cover Image

    Formal and practical techniques for the complex system design process using virtual prototypes : better early than never / by Pieper, Pascal, Drechsler, Rolf

    Published 2024
    Full Text (via Springer)
    eBook

    Save to List
    Saved in:
  10. 10
    Cover Image

    In-memory computing : synthesis and optimization / by Shirinzadeh, Saeideh, Drechsler, Rolf

    Published 2020
    Full Text (via Springer)
    eBook

    Save to List
    Saved in:
  11. 11
    Cover Image

    Formal specification level : concepts, methods, and algorithms / by Soeken, Mathias, Drechsler, Rolf

    Published 2015
    Full Text (via Springer)
    eBook

    Save to List
    Saved in:
  12. 12
    Cover Image

    Reversible and quantum circuits : optimization and complexity analysis / by Abdessaied, Nabila, Drechsler, Rolf

    Published 2016
    Full Text (via Springer)
    eBook

    Save to List
    Saved in:
  13. 13
    Cover Image

    Automatic methods for the refinement of system models : from the specification to the implementation / by Seiter, Julia, Wille, Robert, Drechsler, Rolf

    Published 2016
    Full Text (via Springer)
    eBook

    Save to List
    Saved in:
  14. 14
    Cover Image

    Enhanced virtual prototyping : featuring RISC-V case studies / by Herdt, Vladimir, Grosse, Daniel, Drechsler, Rolf

    Published 2021
    Full Text (via Springer)
    eBook

    Save to List
    Saved in:
  15. 15
    Cover Image

    Formal verification of structurally complex multipliers / by Mahzoon, Alireza, Grosse, Daniel, Drechsler, Rolf

    Published 2023
    Full Text (via Springer)
    eBook

    Save to List
    Saved in:
  16. 16
    Cover Image

    Exact design of digital microfluidic biochips / by Keszocze, Oliver, Wille, Robert, Drechsler, Rolf

    Published 2019
    Full Text (via Springer)
    eBook

    Save to List
    Saved in:
  17. 17
    Cover Image

    Enhanced virtual prototyping for heterogeneous systems / by Hassan, Muhammad, Grosse, Daniel, Drechsler, Rolf

    Published 2023
    Full Text (via Springer)
    eBook

    Save to List
    Saved in:
  18. 18
    Cover Image

    Design automation techniques for approximation circuits : verification, synthesis and test / by Chandrasekharan, Arun, Grosse, Daniel, Drechsler, Rolf

    Published 2019
    Full Text (via Springer)
    eBook

    Save to List
    Saved in:
  19. 19
    Cover Image

    Automated validation & verification of UML/OCL models using satisfiability solvers / by Przigoda, Nils, Wille, Robert, Przigoda, Judith, Drechsler, Rolf

    Published 2018
    Full Text (via Springer)
    eBook

    Save to List
    Saved in:
  20. 20
    Cover Image

    Design Automation for Field-coupled Nanotechnologies by Walter, Marcel, Wille, Robert, Sill Torres, Frank, Drechsler, Rolf

    Published 2022
    Full Text (via Springer)
    eBook

    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search