Drechsler, Rolf.
Overview
| Works: | 16 works in 21 publications in 1 languages | |
|---|---|---|
Titles
Formal system verificationstate-of the-art and future trends /
by:
Drechsler, Rolf.; SpringerLink (Online service)
(Electronic resources)
Towards a design flow for reversible logic
by:
Drechsler, Rolf.; SpringerLink (Online service); Wille, Robert.
(Electronic resources)
Advanced Boolean techniquesselected papers from the 15th International Workshop on Boolean Problems /
by:
(1998 :); Drechsler, Rolf.; Huhn, Sebastian.; SpringerLink (Online service)
(Electronic resources)
Automated analysis of virtual prototypes at the electronic system leveldesign understanding and applications /
by:
Drechsler, Rolf.; Goli, Mehran.; SpringerLink (Online service)
(Electronic resources)
Advanced logic synthesis
by:
Drechsler, Rolf.; Reis, Andre Inacio.; SpringerLink (Online service)
(Electronic resources)
Test pattern generation using boolean proof engines
by:
Drechsler, Rolf.; SpringerLink (Online service)
(Electronic resources)
Information storagea multidisciplinary perspective /
by:
Drechsler, Rolf.; Grosse, Cornelia S.; SpringerLink (Online service)
(Electronic resources)
Reversible and quantum circuitsoptimization and complexity analysis /
by:
Abdessaied, Nabila.; Drechsler, Rolf.; SpringerLink (Online service)
(Electronic resources)
Advanced formal verification
by:
Drechsler, Rolf.; SpringerLink (Online service)
(Electronic resources)
Natural language processing for electronic design automation
by:
Drechsler, Rolf.; Soeken, Mathias.; SpringerLink (Online service)
(Electronic resources)
Enhanced virtual prototyping for heterogeneous systems
by:
Drechsler, Rolf.; Grosse, Daniel.; Hassan, Muhammad.; SpringerLink (Online service)
(Electronic resources)
Formal verification of structurally complex multipliers
by:
Drechsler, Rolf.; Grosse, Daniel.; Mahzoon, Alireza.; SpringerLink (Online service)
(Electronic resources)
Advanced Boolean techniquesselected papers from the 13th International Workshop on Boolean Problems /
by:
(1998 :); Drechsler, Rolf.; Soeken, Mathias.; SpringerLink (Online service)
(Electronic resources)
Design automation techniques for approximation circuitsverification, synthesis and test /
by:
Chandrasekharan, Arun.; Drechsler, Rolf.; GroBe, Daniel.; SpringerLink (Online service)
(Electronic resources)
Quality-driven SystemC design
by:
Drechsler, Rolf.; Grosse, Daniel.; SpringerLink (Online service)
(Electronic resources)
Recent findings in Boolean techniquesselected papers from the 14th International Workshop on Boolean Problems /
by:
(1998 :); Drechsler, Rolf.; GroBe, Daniel.; SpringerLink (Online service)
(Electronic resources)
Robustness and Usability in Modern Design Flows /
by:
Drechsler, Rolf.; Fey, Gorschwin.; SpringerLink (Online service)
(Electronic resources)
Advanced BDD Optimization /
by:
Drechsler, Rolf.; Ebendt, Rudiger.; Fey, Gorschwin.
(Electronic resources)
High quality test pattern generation and boolean satisfiability
by:
Drechsler, Rolf.; Eggersgluss, Stephan.; SpringerLink (Online service)
(Electronic resources)
Formal specification levelconcepts, methods, and algorithms /
by:
Drechsler, Rolf.; Soeken, Mathias.; SpringerLink (Online service)
(Electronic resources)
Languages, design methods, and tools for electronic system designselected contributions from FDL 2015 /
by:
(1998 :); Drechsler, Rolf.; SpringerLink (Online service); Wille, Robert.
(Electronic resources)
Formal modeling and verification of cyber-physical systems1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 /
by:
(1998 :); Drechsler, Rolf.; Kuhne, Ulrich.; SpringerLink (Online service)
(Electronic resources)
Debugging at the electronic system level
by:
Drechsler, Rolf.; Rogin, Frank.; SpringerLink (Online service)
(Electronic resources)
In-memory computingsynthesis and optimization /
by:
Drechsler, Rolf.; Shirinzadeh, Saeideh.; SpringerLink (Online service)
(Electronic resources)
Design for testability, debug and reliabilitynext generation measures using formal techniques /
by:
Drechsler, Rolf.; Huhn, Sebastian.; SpringerLink (Online service)
(Electronic resources)
Automatic methods for the refinement of system modelsfrom the specification to the implementation /
by:
Drechsler, Rolf.; Seiter, Julia.; SpringerLink (Online service); Wille, Robert.
(Electronic resources)
Enhanced virtual prototypingfeaturing RISC-V case studies /
by:
Drechsler, Rolf.; Grosse, Daniel.; Herdt, Vladimir.; SpringerLink (Online service)
(Electronic resources)
Exact design of digital microfluidic biochips
by:
Drechsler, Rolf.; Keszocze, Oliver.; SpringerLink (Online service); Wille, Robert.
(Electronic resources)
Show more
Fewer
Subjects
Electronic and Computer Engineering
Electronics and Microelectronics, Instrumentation
Mathematical Logic and Formal Languages.
Computer algorithms.
Computer logic.
Control, Robotics, Mechatronics.
Software engineering
Signal, Image and Speech Processing.
Electronics Design and Verification.
Systems on a chip.
Systems engineering
Decision trees.
Software Engineering/Programming and Operating Systems.
Natural language processing (Computer science)
Software architecture
Microfluidics.
Electronic circuits.
Engineering design
Circuits and Systems
Electronics and Microelectronics, Instrumentation.
Computer software
Algebra, Boolean.
Debugging in computer science.
Computer architecture.
Logic programming.
Computer systems
Electronic systems.
Cyber-physical systems, IoT.
Algebra, Boolean
Electronics.
Microelectronics.
Applied and Technical Physics.
Mathematical Applications in Computer Science.
Algebra
Processor Architectures.
Formal methods (Computer science)
Ubiquitous computing
System design
Digital electronics.
Logic Design.
Nonvolatile random-access memory.
Computer-Aided Engineering (CAD, CAE) and Design.
Electronics
Engineering Design
Circuits and Systems.
Electronic circuits
Quantum computing.
Approximation algorithms.
C (Computer program language)
Embedded computer systems.
Embedded computer systems
Aerospace Technology and Astronautics.
Computer hardware description languages
Logic design
Computer-aided design.
Microfluidic devices.
Information storage and retrieval systems.
Artificial Intelligence.
Computer storage devices.
Engineering
Engineering.
Register-Transfer-Level Implementation.
Computer hardware description languages.
Computer Science.
Computer System Implementation.
Computer Hardware.
Simulation and Modeling.
Prototypes, Engineering.
Human information processing.
Computer Appl. in Arts and Humanities.
Electronic Circuits and Systems.
Embedded Systems.
Computer engineering
Integrated circuits
System design.
Integrated circuits.
Biochips.
Memory.
Computer-aided engineering.
Software prototyping.
Numerical calculations
Multipliers (Mathematical analysis)
Symbolic and Algebraic Manipulation.