Drechsler, Rolf.

Overview

Works:	1 works in 21 publications in 1 languages

Titles

Formal system verification = state-of the-art and future trends / by: Drechsler, Rolf.; SpringerLink (Online service) (Electronic resources)

Formal modeling and verification of cyber-physical systems = 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 / by: Drechsler, Rolf.; Kuhne, Ulrich.; SpringerLink (Online service) (Language materials, printed)

Advanced formal verification by: Drechsler, Rolf.; SpringerLink (Online service) (Language materials, printed)

Robustness and Usability in Modern Design Flows by: Drechsler, Rolf.; SpringerLink (Online service); Fey, Gorschwin. (Language materials, printed)

Enhanced virtual prototyping for heterogeneous systems by: Grosse, Daniel.; Drechsler, Rolf.; SpringerLink (Online service); Hassan, Muhammad. (Electronic resources)

Formal specification level = concepts, methods, and algorithms / by: Soeken, Mathias.; Drechsler, Rolf.; SpringerLink (Online service) (Electronic resources)

Automated analysis of virtual prototypes at the electronic system level = design understanding and applications / by: Goli, Mehran.; Drechsler, Rolf.; SpringerLink (Online service) (Electronic resources)

In-memory computing = synthesis and optimization / by: Shirinzadeh, Saeideh.; Drechsler, Rolf.; SpringerLink (Online service) (Electronic resources)

Towards a design flow for reversible logic by: Wille, Robert.; Drechsler, Rolf.; SpringerLink (Online service) (Language materials, printed)

Design for testability, debug and reliability = next generation measures using formal techniques / by: Huhn, Sebastian.; Drechsler, Rolf.; SpringerLink (Online service) (Electronic resources)

Subjects

Mathematical Logic and Formal Languages. Computer algorithms. Computer logic. Control, Robotics, Mechatronics. Software engineering Integrated circuits- Very large scale integration Signal, Image and Speech Processing. Systems on a chip. Electronics Design and Verification. Decision trees. Engineering Design. Software Engineering/Programming and Operating Systems. Natural language processing (Computer science) Software architecture Microfluidics. Electronic circuits. Algebra- Data processing. Algebra, Boolean. Logic design- Mathematics. Electronics and Microelectronics, Instrumentation. Debugging in computer science. Computer architecture. Logic programming. Electronic systems. Algebra, Boolean Cyber-physical systems, IoT. Electronics. Microelectronics. Applied and Technical Physics. Mathematical Applications in Computer Science. Decision making- Mathematical models. Computer software- Verification. Integrated circuits- Verification. Processor Architectures. Integrated circuits- Testing. Formal methods (Computer science) Ubiquitous computing Digital electronics. Nonvolatile random-access memory. Logic Design. Computer-Aided Engineering (CAD, CAE) and Design. Numerical calculations- Verification Circuits and Systems. Integrated circuits- Design and construction. Quantum computing. Approximation algorithms. Integrated circuits- Computer-aided design. C (Computer program language) Embedded computer systems. Embedded computer systems Aerospace Technology and Astronautics. Computer hardware description languages System design- Data processing. Logic design- Data processing. Computer-aided design. Microfluidic devices. Computer storage devices. Information storage and retrieval systems. Artificial Intelligence. Integrated circuits- Reliability. Engineering. Register-Transfer-Level Implementation. Computer hardware description languages. Computer Science. Computer System Implementation. Computer Hardware. Simulation and Modeling. Computer software- Verification Computer systems- Verification. Human information processing. Computer Appl. in Arts and Humanities. Prototypes, Engineering. Electronic Circuits and Systems. Embedded Systems. Electronic circuits- Testing. Electronic and Computer Engineering. System design. Integrated circuits. Biochips. Memory. Software prototyping. Computer-aided engineering. Multipliers (Mathematical analysis) Symbolic and Algebraic Manipulation.