Utvidet returrett til 31. januar 2025

Bøker av Rolf Drechsler

Filter
Filter
Sorter etterSorter Populære
  • av Rolf Drechsler
    1 387,-

    Dieses Buch beschreibt eine Reihe von SystemC-basierten Analysemethoden für virtuelle Prototypen, einschließlich Entwurfsverständnis, Verifikation, Sicherheitsvalidierung und Entwurfsraumuntersuchung. Der Leser erhält einen Überblick über die neuesten Forschungsergebnisse auf dem Gebiet der Electronic Design Automation (EDA) auf der elektronischen Systemebene (ESL). Die besprochenen Methoden ermöglichen es den Lesern, wichtige Aufgaben und Anwendungen im Entwurfsprozess leicht zu bewältigen.Übersetzt mit www.DeepL.com/Translator (kostenlose Version)

  • - Selected Papers from the 14th International Workshop on Boolean Problems
    av Rolf Drechsler
    1 387,-

    This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical computer science. Content includes invited chapters and a selection of the best papers presented at the 14th annual International Workshop on Boolean Problems.

  • av Rolf Drechsler & Sebastian Huhn
    1 223 - 1 387,-

  • - Mit Noerdman Durch Die Welt Von Heute... Und Morgen
    av Rolf Drechsler & Jannis Stoppe
    241,-

  • av Rolf Drechsler, Vladimir Herdt & Daniel Grosse
    1 070 - 1 682,-

  • - Synthesis and Optimization
    av Rolf Drechsler & Saeideh Shirinzadeh
    1 387,-

  • - Design Understanding and Applications
    av Rolf Drechsler & Mehran Goli
    1 045,-

    This book describes a set of SystemC-based virtual prototype analysis methodologies, including design understanding, verification, security validation, and design space exploration. Readers will gain an overview of the latest research results in the field of Electronic Design Automation (EDA) at the Electronic System Level (ESL).

  • - Optimization and Complexity Analysis
    av Rolf Drechsler & Nabila Abdessaied
    767,-

    This bookpresents a new optimization flow for quantum circuits realization. Then, new mapping approaches to decompose reversible circuits to quantumcircuits using different quantum libraries are described. Finally, optimizationtechniques to reduce the quantum cost or the delay are applied to the resultingquantum circuits.

  • av Rolf Drechsler, Robert Wille, Nils Przigoda & m.fl.
    1 955 - 1 976,-

    This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automatic reasoning engine.

  • av Rolf Drechsler & Robert Wille
    1 387,-

    This book presents contributions to a design flow for reversible logic, including advanced methods for synthesis, optimization, verification, and debugging. It proposes several techniques for synthesis of very large functions in reversible logic.

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.