Saxo Access
Indkøbskurv

Drechsler, Rolf

Vis søgefilter

Vis mig kun

High Quality Test Pattern Generation and Boolean Satisfiability

High Quality Test Pattern Generation and Boolean Satisfiability

Drechsler, Rolf

875,33 DKK

Formal Verification of Structurally Complex Multipliers

Formal Verification of Structurally Complex Multipliers

Drechsler, Rolf

802,25 DKK

Formal Verification of Structurally Complex Multipliers

Formal Verification of Structurally Complex Multipliers

Drechsler, Rolf

802,25 DKK

In-Memory-Computing

In-Memory-Computing

Drechsler, Rolf

619,55 DKK

Quality-Driven SystemC Design

Quality-Driven SystemC Design

Drechsler, Rolf

875,33 DKK

Debugging at the Electronic System Level

Debugging at the Electronic System Level

Drechsler, Rolf

875,33 DKK

Towards a Design Flow for Reversible Logic

Towards a Design Flow for Reversible Logic

Drechsler, Rolf

875,33 DKK

Enhanced Virtual Prototyping

Enhanced Virtual Prototyping

Drechsler, Rolf

692,63 DKK

Reversible and Quantum Circuits

Reversible and Quantum Circuits

Drechsler, Rolf

436,85 DKK

Design for Testability, Debug and Reliability

Design for Testability, Debug and Reliability

Drechsler, Rolf

583,01 DKK

Formal System Verification

Formal System Verification

Drechsler, Rolf

1021,49 DKK

Design for Testability, Debug and Reliability

Design for Testability, Debug and Reliability

Drechsler, Rolf

583,01 DKK

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Drechsler, Rolf

1240,73 DKK

Exact Design of Digital Microfluidic Biochips

Exact Design of Digital Microfluidic Biochips

Drechsler, Rolf

875,33 DKK

Automatic Methods for the Refinement of System Models

Automatic Methods for the Refinement of System Models

Drechsler, Rolf

436,85 DKK

Enhanced Virtual Prototyping for Heterogeneous Systems

Enhanced Virtual Prototyping for Heterogeneous Systems

Drechsler, Rolf

583,01 DKK

Formal Specification Level

Formal Specification Level

Drechsler, Rolf

875,33 DKK

Enhanced Virtual Prototyping for Heterogeneous Systems

Enhanced Virtual Prototyping for Heterogeneous Systems

Drechsler, Rolf

583,01 DKK

Natural Language Processing for Electronic Design Automation

Natural Language Processing for Electronic Design Automation

Drechsler, Rolf

436,85 DKK

Natural Language Processing for Electronic Design Automation

Natural Language Processing for Electronic Design Automation

Drechsler, Rolf

436,85 DKK

Automated Analysis of Virtual Prototypes at the Electronic System Level

Automated Analysis of Virtual Prototypes at the Electronic System Level

Drechsler, Rolf

656,09 DKK

Information Storage

Information Storage

Drechsler, Rolf

875,33 DKK

Evolutionary Algorithms for VLSI CAD

Evolutionary Algorithms for VLSI CAD

Drechsler, Rolf

875,33 DKK

Formal Verification of Circuits

Formal Verification of Circuits

Drechsler, Rolf

1240,73 DKK

Robustness and Usability in Modern Design Flows

Robustness and Usability in Modern Design Flows

Drechsler, Rolf

875,33 DKK

Advanced Formal Verification

Advanced Formal Verification

Drechsler, Rolf

875,33 DKK

Design Automation Techniques for Approximation Circuits

Design Automation Techniques for Approximation Circuits

Drechsler, Rolf

436,85 DKK

Design Automation Techniques for Approximation Circuits

Design Automation Techniques for Approximation Circuits

Drechsler, Rolf

436,85 DKK

Advanced BDD Optimization

Advanced BDD Optimization

Drechsler, Rolf

1240,73 DKK