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- Showing 1 - 20 results of 30
- Go to Next Page
-
1
Formal specification level : concepts, methods, and algorithms by Soeken, Mathias, Drechsler, Rolf
Published: Springer, 2015Description: 1 online resource : illustrations.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
eBook -
2
Reversible and quantum circuits : optimization and complexity analysis by Abdessaied, Nabila, Drechsler, Rolf
Published: Springer, 2016Description: 1 online resource.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
eBook -
3
In-memory computing : synthesis and optimization by Shirinzadeh, Saeideh, Drechsler, Rolf
Published: Springer Nature, 2020Description: 1 online resource.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
eBook -
4
Automated analysis of virtual prototypes at the electronic system level : design understanding and applications by Goli, Mehran, Drechsler, Rolf
Published: Springer, 2020Description: 1 online resource (xxi, 166 pages) : illustrations.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
eBook -
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, 2024Description: 1 online resource (xxiv, 170 pages) : illustrations (some color)Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
eBook -
6
Automatic methods for the refinement of system models : from the specification to the implementation by Seiter, Julia, Wille, Robert, Drechsler, Rolf
Published: Springer, 2016Description: 1 online resource (viii, 94 pages) : illustrations (some color).Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
eBook -
7
Exact design of digital microfluidic biochips by Keszocze, Oliver, Wille, Robert, Drechsler, Rolf
Published: Springer, 2019Description: 1 online resource.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
eBook -
8
Design automation techniques for approximation circuits : verification, synthesis and test by Chandrasekharan, Arun, Grosse, Daniel, Drechsler, Rolf
Published: Springer, 2019Description: 1 online resource (140 pages)Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
eBook -
9
Enhanced virtual prototyping : featuring RISC-V case studies by Herdt, Vladimir, Grosse, Daniel, Drechsler, Rolf
Published: Springer, 2021Description: 1 online resource (257 pages)Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
eBook -
10
Enhanced virtual prototyping for heterogeneous systems by Hassan, Muhammad, Grosse, Daniel, Drechsler, Rolf
Published: Springer, 2023Description: 1 online resource (xx, 166 pages) : illustrations (chiefly color)Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
eBook -
11
Formal verification of structurally complex multipliers by Mahzoon, Alireza, Grosse, Daniel, Drechsler, Rolf
Published: Springer, 2023Description: 1 online resource (xiii, 130 pages) : illustrations.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
eBook -
12
Automated validation & verification of UML/OCL models using satisfiability solvers by Przigoda, Nils, Wille, Robert, Przigoda, Judith, Drechsler, Rolf
Published: Springer, 2018Description: 1 online resource.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
eBook -
13
Design automation for field-coupled nanotechnologies by Walter, Marcel, Wille, Robert, Sill Torres, Frank, Drechsler, Rolf
Published: Springer International Publishing : Imprint : Springer, 2022Description: 1 online resource (xiii, 196 pages : illustrations (black and white, color))Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
eBook -
14
Test pattern generation using boolean proof engines by SpringerLink (Online service)
Published: Springer, 2009Other Authors: “…Drechsler, Rolf…”Description: 1 online resource.
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
eBook -
15
Robustness and usability in modern design flows by Fey, Görschwin
Published: Springer, 2008Other Authors: “…Drechsler, Rolf…”Description: 1 online resource (xiii, 166 pages) : illustrations.
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
eBook -
16
Debugging at the electronic system level by Rogin, Frank
Published: Springer, 2010Other Authors: “…Drechsler, Rolf…”Description: 1 online resource (xix, 199 pages)
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
eBook -
17
Quality-driven SystemC design by Grosse, Daniel
Published: Springer, 2010Other Authors: “…Drechsler, Rolf…”Description: 1 online resource (xix, 170 pages) : illustrations.
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
eBook -
18
Towards a design flow for reversible logic by Wille, Robert
Published: Springer, 2010Other Authors: “…Drechsler, Rolf…”Description: 1 online resource (xiii, 184 pages)
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
eBook -
19
High quality test pattern generation and boolean satisfiability by Eggersglüss, Stephan
Published: Springer, 2012Other Authors: “…Drechsler, Rolf…”Description: 1 online resource (xviii, 193 pages)
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
eBook -
20
Design for testability, debug and reliability : next generation measures using formal techniques by Huhn, Sebastian, 1974-
Published: Springer, 2021Other Authors: “…Drechsler, Rolf…”Description: 1 online resource (177 pages)
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
eBook
Search Tools:
Related Subjects
Algebra, Boolean
Computer software Verification
System design
Computer programs Verification
Embedded computer systems
Integrated circuits Testing
Integrated circuits Verification
Computer hardware description languages
Debugging in computer science
Electronics
Formal methods (Computer science)
Information theory
Integrated circuits Design and construction
Natural language processing (Computer science)
Prototypes, Engineering
Systems engineering
Systems on a chip
Algebra Data processing
Approximation algorithms
Biochips
C (Computer program language)
Computer architecture
Computer logic
Computer programs Validation
Computer simulation
Computer software Validation
Computer storage devices
Computer systems Verification
Computer-aided design
Computer-aided engineering