Languages
Drechsler, Rolf.
Overview
Works: | 1 works in 7 publications in 1 languages |
---|
Titles
Towards a design flow for reversible logic
by:
SpringerLink (Online service); Drechsler, Rolf.; Wille, Robert.
(Electronic resources)
Quality-driven SystemC design
by:
Grosse, Daniel.; SpringerLink (Online service); Drechsler, Rolf.
(Electronic resources)
High quality test pattern generation and boolean satisfiability
by:
Eggersgluss, Stephan.; SpringerLink (Online service); Drechsler, Rolf.
(Electronic resources)
Robustness and Usability in Modern Design Flows
by:
SpringerLink (Online service); Fey, Gorschwin.; Drechsler, Rolf.
(Electronic resources)
Advanced BDD Optimization
by:
Drechsler, Rolf.; Ebendt, Rudiger.; SpringerLink (Online service); Fey, Gorschwin.
(Electronic resources)
Debugging at the electronic system level
by:
SpringerLink (Online service); Drechsler, Rolf.; Rogin, Frank.
(Electronic resources)
Test pattern generation using boolean proof engines
by:
SpringerLink (Online service); Drechsler, Rolf.
(Electronic resources)
Subjects
Computer architecture.
System design.
Electronics and Microelectronics, Instrumentation.
Electronic and Computer Engineering.
Software Engineering/Programming and Operating Systems.
Computer logic.
Circuits and Systems.
Algebra, Boolean.
Logic design- Mathematics.
Integrated circuits- Verification.
Computer software- Verification.
C (Computer program language)
Decision trees.
Decision making- Mathematical models.
Debugging in computer science.
Processor Architectures.
Mathematical Logic and Formal Languages.
Engineering Design.
Integrated circuits- Testing.
Logic programming.
Register-Transfer-Level Implementation.
Computer hardware description languages.
Engineering.
Integrated circuits- Design and construction.
Computer algorithms.