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

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

    Published: Springer, 2015
    Description: 1 online resource : illustrations.
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Formal specification level : concepts, methods, and algorithms
  2. 2

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

    Published: Springer, 2016
    Description: 1 online resource.
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Reversible and quantum circuits : optimization and complexity analysis
  3. 3

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

    Published: Springer Nature, 2020
    Description: 1 online resource.
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    In-memory computing : synthesis and optimization
  4. 4

    Automated analysis of virtual prototypes at the electronic system level : design understanding and applications by Goli, Mehran, Drechsler, Rolf

    Published: Springer, 2020
    Description: 1 online resource (xxi, 166 pages) : illustrations.
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Automated analysis of virtual prototypes at the electronic system level : design understanding and applications
  5. 5

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

    Published: Springer, 2024
    Description: 1 online resource (xxiv, 170 pages) : illustrations (some color)
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Formal and practical techniques for the complex system design process using virtual prototypes : better early than never
  6. 6

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

    Published: Springer, 2016
    Description: 1 online resource (viii, 94 pages) : illustrations (some color).
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Automatic methods for the refinement of system models : from the specification to the implementation
  7. 7

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

    Published: Springer, 2019
    Description: 1 online resource.
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Exact design of digital microfluidic biochips
  8. 8

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

    Published: Springer, 2019
    Description: 1 online resource (140 pages)
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Design automation techniques for approximation circuits : verification, synthesis and test
  9. 9

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

    Published: Springer, 2021
    Description: 1 online resource (257 pages)
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Enhanced virtual prototyping : featuring RISC-V case studies
  10. 10

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

    Published: Springer, 2023
    Description: 1 online resource (xx, 166 pages) : illustrations (chiefly color)
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Enhanced virtual prototyping for heterogeneous systems
  11. 11

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

    Published: Springer, 2023
    Description: 1 online resource (xiii, 130 pages) : illustrations.
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Formal verification of structurally complex multipliers
  12. 12

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

    Published: Springer, 2018
    Description: 1 online resource.
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Automated validation & verification of UML/OCL models using satisfiability solvers
  13. 13

    Design automation for field-coupled nanotechnologies by Walter, Marcel, Wille, Robert, Sill Torres, Frank, Drechsler, Rolf

    Published: Springer International Publishing : Imprint : Springer, 2022
    Description: 1 online resource (xiii, 196 pages : illustrations (black and white, color))
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Design automation for field-coupled nanotechnologies
  14. 14

    Test pattern generation using boolean proof engines by SpringerLink (Online service)

    Published: Springer, 2009
    Description: 1 online resource.
    Other Authors: “…Drechsler, Rolf…”
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Test pattern generation using boolean proof engines
  15. 15

    Robustness and usability in modern design flows by Fey, Görschwin

    Published: Springer, 2008
    Description: 1 online resource (xiii, 166 pages) : illustrations.
    Other Authors: “…Drechsler, Rolf…”
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Robustness and usability in modern design flows
  16. 16

    Debugging at the electronic system level by Rogin, Frank

    Published: Springer, 2010
    Description: 1 online resource (xix, 199 pages)
    Other Authors: “…Drechsler, Rolf…”
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Debugging at the electronic system level
  17. 17

    Quality-driven SystemC design by Grosse, Daniel

    Published: Springer, 2010
    Description: 1 online resource (xix, 170 pages) : illustrations.
    Other Authors: “…Drechsler, Rolf…”
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Quality-driven SystemC design
  18. 18

    Towards a design flow for reversible logic by Wille, Robert

    Published: Springer, 2010
    Description: 1 online resource (xiii, 184 pages)
    Other Authors: “…Drechsler, Rolf…”
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Towards a design flow for reversible logic
  19. 19

    High quality test pattern generation and boolean satisfiability by Eggersglüss, Stephan

    Published: Springer, 2012
    Description: 1 online resource (xviii, 193 pages)
    Other Authors: “…Drechsler, Rolf…”
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    High quality test pattern generation and boolean satisfiability
  20. 20

    Design for testability, debug and reliability : next generation measures using formal techniques by Huhn, Sebastian, 1974-

    Published: Springer, 2021
    Description: 1 online resource (177 pages)
    Other Authors: “…Drechsler, Rolf…”
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Design for testability, debug and reliability : next generation measures using formal techniques

Search Tools: