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