Drechsler, Rolf.
概要
作品: | 16 作品在 21 項出版品 1 種語言 |
---|
書目資訊
Formal system verificationstate-of the-art and future trends /
by:
Drechsler, Rolf.; SpringerLink (Online service)
(書目-電子資源)
Towards a design flow for reversible logic
by:
Drechsler, Rolf.; SpringerLink (Online service); Wille, Robert.
(書目-電子資源)
Advanced Boolean techniquesselected papers from the 15th International Workshop on Boolean Problems /
by:
(1998 :); Drechsler, Rolf.; Huhn, Sebastian.; SpringerLink (Online service)
(書目-電子資源)
Automated analysis of virtual prototypes at the electronic system leveldesign understanding and applications /
by:
Drechsler, Rolf.; Goli, Mehran.; SpringerLink (Online service)
(書目-電子資源)
Advanced logic synthesis
by:
Drechsler, Rolf.; Reis, Andre Inacio.; SpringerLink (Online service)
(書目-電子資源)
Test pattern generation using boolean proof engines
by:
Drechsler, Rolf.; SpringerLink (Online service)
(書目-電子資源)
Information storagea multidisciplinary perspective /
by:
Drechsler, Rolf.; Grosse, Cornelia S.; SpringerLink (Online service)
(書目-電子資源)
Reversible and quantum circuitsoptimization and complexity analysis /
by:
Abdessaied, Nabila.; Drechsler, Rolf.; SpringerLink (Online service)
(書目-電子資源)
Natural language processing for electronic design automation
by:
Drechsler, Rolf.; Soeken, Mathias.; SpringerLink (Online service)
(書目-電子資源)
Enhanced virtual prototyping for heterogeneous systems
by:
Drechsler, Rolf.; Grosse, Daniel.; Hassan, Muhammad.; SpringerLink (Online service)
(書目-電子資源)
Formal verification of structurally complex multipliers
by:
Drechsler, Rolf.; Grosse, Daniel.; Mahzoon, Alireza.; SpringerLink (Online service)
(書目-電子資源)
Advanced Boolean techniquesselected papers from the 13th International Workshop on Boolean Problems /
by:
(1998 :); Drechsler, Rolf.; Soeken, Mathias.; SpringerLink (Online service)
(書目-電子資源)
Design automation techniques for approximation circuitsverification, synthesis and test /
by:
Chandrasekharan, Arun.; Drechsler, Rolf.; GroBe, Daniel.; SpringerLink (Online service)
(書目-電子資源)
Quality-driven SystemC design
by:
Drechsler, Rolf.; Grosse, Daniel.; SpringerLink (Online service)
(書目-電子資源)
Recent findings in Boolean techniquesselected papers from the 14th International Workshop on Boolean Problems /
by:
(1998 :); Drechsler, Rolf.; GroBe, Daniel.; SpringerLink (Online service)
(書目-電子資源)
Robustness and Usability in Modern Design Flows /
by:
Drechsler, Rolf.; Fey, Gorschwin.; SpringerLink (Online service)
(書目-電子資源)
High quality test pattern generation and boolean satisfiability
by:
Drechsler, Rolf.; Eggersgluss, Stephan.; SpringerLink (Online service)
(書目-電子資源)
Formal specification levelconcepts, methods, and algorithms /
by:
Drechsler, Rolf.; Soeken, Mathias.; SpringerLink (Online service)
(書目-電子資源)
Languages, design methods, and tools for electronic system designselected contributions from FDL 2015 /
by:
(1998 :); Drechsler, Rolf.; SpringerLink (Online service); Wille, Robert.
(書目-電子資源)
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)
(書目-電子資源)
Debugging at the electronic system level
by:
Drechsler, Rolf.; Rogin, Frank.; SpringerLink (Online service)
(書目-電子資源)
In-memory computingsynthesis and optimization /
by:
Drechsler, Rolf.; Shirinzadeh, Saeideh.; SpringerLink (Online service)
(書目-電子資源)
Design for testability, debug and reliabilitynext generation measures using formal techniques /
by:
Drechsler, Rolf.; Huhn, Sebastian.; SpringerLink (Online service)
(書目-電子資源)
Automatic methods for the refinement of system modelsfrom the specification to the implementation /
by:
Drechsler, Rolf.; Seiter, Julia.; SpringerLink (Online service); Wille, Robert.
(書目-電子資源)
Enhanced virtual prototypingfeaturing RISC-V case studies /
by:
Drechsler, Rolf.; Grosse, Daniel.; Herdt, Vladimir.; SpringerLink (Online service)
(書目-電子資源)
Exact design of digital microfluidic biochips
by:
Drechsler, Rolf.; Keszocze, Oliver.; SpringerLink (Online service); Wille, Robert.
(書目-電子資源)
更多
較少的
主題
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.