LIBROS DEL AUTOR: rolf drechsler

56 resultados para LIBROS DEL AUTOR: rolf drechsler

rolf drechsler Eliminar filtro Quitar filtros
  • Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes
    Pascal Pieper / Rolf Drechsler
    This book deals with formal and practical approaches for early fast modeling and verification of complex digital processor hardware and software using SystemC-based virtual prototypes. As a special focus, modeling approaches of instruction-level behavior of System-on-Chips and the connected off-chip digital devices are addressed. Featured verification approaches are based on sy...
    Disponible

    159,18 €

  • Formal Verification of Structurally Complex Multipliers
    Alireza Mahzoon / Daniel Große / Rolf Drechsler
    This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. In the area of verification, the authors first investigate the challenges of Symbolic Computer Algebra (SCA)-based verification, when it comes to proving the correctness of multipliers. They then describe three techniques to improve and extend SCA: vanishing monomials removal,...
    Disponible

    123,49 €

  • Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme
    Mehran Goli / Rolf Drechsler
    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 bespro...
    Disponible

    145,29 €

  • Enhanced Virtual Prototyping for Heterogeneous Systems
    Daniel Große / Muhammad Hassan / Rolf Drechsler
    This book describes a comprehensive combination of methodologies that strongly enhance the modern Virtual Prototype (VP)-based verification flow for heterogeneous systems-on-chip (SOCs). In particular, the book combines verification and analysis aspects across various stages of the VP-based verification flow, providing a new perspective on verification by leveraging advanced te...
    Disponible

    99,03 €

  • In-Memory-Computing
    Rolf Drechsler / Saeideh Shirinzadeh
    Dieses Buch beschreibt einen umfassenden Ansatz für die Synthese und Optimierung von Logic-in-Memory-Computing-Hardware und -Architekturen mit memristiven Bauelementen, der eine solide Grundlage für praktische Anwendungen schafft.  Die Leser werden mit einer neuen Generation von Computerarchitekturen vertraut gemacht, die potenziell schneller arbeiten können, da die Notwendigke...
    Disponible

    121,00 €

  • Formal Verification of Structurally Complex Multipliers
    Alireza Mahzoon / Daniel Große / Rolf Drechsler
    This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. In the area of verification, the authors first investigate the challenges of Symbolic Computer Algebra (SCA)-based verification, when it comes to proving the correctness of multipliers. They then describe three techniques to improve and extend SCA: vanishing monomials removal,...
    Disponible

    122,14 €

  • Formal Verification of Structurally Complex Multipliers
    Alireza Mahzoon / Daniel Große / Rolf Drechsler
    This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. In the area of verification, the authors first investigate the challenges of Symbolic Computer Algebra (SCA)-based verification, when it comes to proving the correctness of multipliers. They then describe three techniques to improve and extend SCA: vanishing monomials removal,...
    Disponible

    48,53 €

  • Verbessertes virtuelles Prototyping
    Daniel Große / Rolf Drechsler / Vladimir Herdt
    Dieses Buch stellt eine umfassende Reihe von Techniken vor, die alle wichtigen Aspekte eines modernen Virtual Prototype (VP)-basierten Entwurfsablaufs verbessern. Die Autoren legen den Schwerpunkt auf automatisierte formale Verifikationsmethoden sowie auf fortgeschrittene, abdeckungsgeleitete Analyse- und Testtechniken, die auf SystemC-basierte VP und die zugehörige Software (S...
    Disponible

    110,31 €

  • Enhanced Virtual Prototyping for Heterogeneous Systems
    Daniel Große / Muhammad Hassan / Rolf Drechsler
    This book describes a comprehensive combination of methodologies that strongly enhance the modern Virtual Prototype (VP)-based verification flow for heterogeneous systems-on-chip (SOCs). In particular, the book combines verification and analysis aspects across various stages of the VP-based verification flow, providing a new perspective on verification by leveraging advanced te...
    Disponible

    48,34 €

  • Enhanced Virtual Prototyping for Heterogeneous Systems
    Daniel Große / Muhammad Hassan / Rolf Drechsler
    This book describes a comprehensive combination of methodologies that strongly enhance the modern Virtual Prototype (VP)-based verification flow for heterogeneous systems-on-chip (SOCs). In particular, the book combines verification and analysis aspects across various stages of the VP-based verification flow, providing a new perspective on verification by leveraging advanced te...
    Disponible

    134,57 €

  • Design for Testability, Debug and Reliability
    Rolf Drechsler / Sebastian Huhn
    This book introduces several novel approaches to pave the way for the next generation of integrated circuits, which can be successfully and reliably integrated, even in safety-critical applications. The authors describe new measures to address the rising challenges in the field of design for testability, debug, and reliability, as strictly required for state-of-the-art circuit ...
    Disponible

    99,03 €

  • Enhanced Virtual Prototyping
    Daniel Große / Rolf Drechsler / Vladimir Herdt
    This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtual Prototype (VP)-based design flow. The authors emphasize automated formal verification methods, as well as advanced coverage-guided analysis and testing techniques, tailored for SystemC-based VPs and also the associated Software (SW). Coverage also includes VP modeling technique...
    Disponible

    123,91 €

  • Design for Testability, Debug and Reliability
    Rolf Drechsler / Sebastian Huhn
    This book introduces several novel approaches to pave the way for the next generation of integrated circuits, which can be successfully and reliably integrated, even in safety-critical applications. The authors describe new measures to address the rising challenges in the field of design for testability, debug, and reliability, as strictly required for state-of-the-art circuit ...
    Disponible

    48,34 €

  • Automated Analysis of Virtual Prototypes at the Electronic System Level
    Mehran Goli / Rolf Drechsler
    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). The methodologies discussed enable readers to t...
    Disponible

    109,80 €

  • Design for Testability, Debug and Reliability
    Rolf Drechsler / Sebastian Huhn
    This book introduces several novel approaches to pave the way for the next generation of integrated circuits, which can be successfully and reliably integrated, even in safety-critical applications. The authors describe new measures to address the rising challenges in the field of design for testability, debug, and reliability, as strictly required for state-of-the-art circuit ...
    Disponible

    134,57 €

  • Noch analog oder lebst Du schon?
    Jannis Stoppe / Rolf Drechsler
    Können wir uns heute noch ein Leben ohne Computer vorstellen? Wie würde unser Tagesablauf ohne Smartphone aussehen? An welchen Stellen hilft uns Technologie, an welchen macht sie das Leben komplizierter? Welche Entwicklungen zeichnen sich ab, welche Auswirkungen werden diese haben? Das alles und mehr steht im Zentrum des Lebens von Nœrdman, dem Nerd aus dem Norden. In humorvoll...
    Disponible

    22,58 €

  • Enhanced Virtual Prototyping
    Daniel Große / Rolf Drechsler / Vladimir Herdt
    This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtual Prototype (VP)-based design flow. The authors emphasize automated formal verification methods, as well as advanced coverage-guided analysis and testing techniques, tailored for SystemC-based VPs and also the associated Software (SW). Coverage also includes VP modeling technique...
    Disponible

    47,92 €

  • Enhanced Virtual Prototyping
    Daniel Große / Rolf Drechsler / Vladimir Herdt
    This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtual Prototype (VP)-based design flow. The authors emphasize automated formal verification methods, as well as advanced coverage-guided analysis and testing techniques, tailored for SystemC-based VPs and also the associated Software (SW). Coverage also includes VP modeling technique...
    Disponible

    159,44 €

  • In-Memory Computing
    Rolf Drechsler / Saeideh Shirinzadeh
    This book describes a comprehensive approach for synthesis and optimization of logic-in-memory computing hardware and architectures using memristive devices, which creates a firm foundation for practical applications.  Readers will get familiar with a new generation of computer architectures that potentially can perform faster, as the necessity for communication between the pro...
    Disponible

    135,72 €

  • Automated Analysis of Virtual Prototypes at the Electronic System Level
    Mehran Goli / Rolf Drechsler
    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). The methodologies discussed enable readers to t...
    Disponible

    108,45 €

  • In-Memory Computing
    Rolf Drechsler / Saeideh Shirinzadeh
    This book describes a comprehensive approach for synthesis and optimization of logic-in-memory computing hardware and architectures using memristive devices, which creates a firm foundation for practical applications.  Readers will get familiar with a new generation of computer architectures that potentially can perform faster, as the necessity for communication between the pro...
    Disponible

    134,37 €

  • Design Automation Techniques for Approximation Circuits
    Arun Chandrasekharan / Daniel Große / Rolf Drechsler
    This book describes reliable and efficient design automation techniques for the design and implementation of an approximate computing system. The authors address the important facets of approximate computing hardware design - from formal verification and error guarantees to synthesis and test of approximation systems. They provide algorithms and methodologies based on classical...
    Disponible

    68,17 €

  • Exact Design of Digital Microfluidic Biochips
    Oliver Keszocze / Robert Wille / Rolf Drechsler
    This book presents exact, that is minimal, solutions to individual steps in the design process for Digital Microfluidic Biochips (DMFBs), as well as a one-pass approach that combines all these  steps in a single process. All of the approaches discussed are based on a formal model that can easily be extended to cope with further design problems.  In addition to the exact methods...
    Disponible

    135,78 €

  • Design Automation Techniques for Approximation Circuits
    Arun Chandrasekharan / Daniel Große / Rolf Drechsler
    This book describes reliable and efficient design automation techniques for the design and implementation of an approximate computing system. The authors address the important facets of approximate computing hardware design - from formal verification and error guarantees to synthesis and test of approximation systems. They provide algorithms and methodologies based on classical...
    Disponible

    66,82 €

  • Formal System Verification
    Rolf Drechsler
    This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level (RTL). The authors demonstrate at different abstraction layers how formal metho...
    Disponible

    160,56 €

  • Exact Design of Digital Microfluidic Biochips
    Oliver Keszocze / Robert Wille / Rolf Drechsler
    This book presents exact, that is minimal, solutions to individual steps in the design process for Digital Microfluidic Biochips (DMFBs), as well as a one-pass approach that combines all these  steps in a single process. All of the approaches discussed are based on a formal model that can easily be extended to cope with further design problems.  In addition to the exact methods...
    Disponible

    134,43 €

  • Reversible and Quantum Circuits
    Nabila Abdessaied / Rolf Drechsler
    This bookpresents a new optimization flow for quantum circuits realization. At thereversible level, optimization algorithms are presented to reduce the quantumcost. 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 t...
    Disponible

    68,37 €

  • Formal System Verification
    Rolf Drechsler
    This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level (RTL). The authors demonstrate at different abstraction layers how formal metho...
    Disponible

    159,20 €

  • Formal Specification Level
    Mathias Soeken / Rolf Drechsler
    This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow significant verification tasks in this early stage of the design flow, but also...
    Disponible

    134,60 €

  • Automatic Methods for the Refinement of System Models
    Julia Seiter / Robert Wille / Rolf Drechsler
    This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable readers to follow two 'directions' for refinement: Vertical refinement, for adding detail and precision to single description for a given model and Horizontal refinement, which consi...
    Disponible

    68,02 €


01 02