語系
Drechsler, Rolf.
概要
| 作品: | 1 作品在 7 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Towards a design flow for reversible logic
by:
SpringerLink (Online service); Drechsler, Rolf.; Wille, Robert.
(書目-電子資源)
Quality-driven SystemC design
by:
Grosse, Daniel.; SpringerLink (Online service); Drechsler, Rolf.
(書目-電子資源)
High quality test pattern generation and boolean satisfiability
by:
Eggersgluss, Stephan.; SpringerLink (Online service); Drechsler, Rolf.
(書目-電子資源)
Robustness and Usability in Modern Design Flows
by:
SpringerLink (Online service); Fey, Gorschwin.; Drechsler, Rolf.
(書目-電子資源)
Advanced BDD Optimization
by:
Drechsler, Rolf.; Ebendt, Rudiger.; SpringerLink (Online service); Fey, Gorschwin.
(書目-電子資源)
Debugging at the electronic system level
by:
SpringerLink (Online service); Drechsler, Rolf.; Rogin, Frank.
(書目-電子資源)
Test pattern generation using boolean proof engines
by:
SpringerLink (Online service); Drechsler, Rolf.
(書目-電子資源)
主題
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.