Daniel Große – författare

Visar alla böcker från författaren Daniel Große. Handla med fri frakt och snabb leverans.

21 produkter

1. 

   Languages, Design Methods, and Tools for Electronic System Design

   Selected Contributions from FDL 2017

   Av Daniel Große, Sara Vinco m. fl.

   Inbunden, 2019

   1095 kr

   Lägg i varukorg

   This book brings together a selection of the best papers from the twentiethedition of the Forum on specification and Design Languages Conference (FDL), which took place on September 18-20, 2017, in Verona, Italy. FDL is a well-established international forum devoted to dissemination of research …

2. 

   Design Automation Techniques for Approximation Circuits

   Verification, Synthesis and Test

   Av Arun Chandrasekharan, Daniel Große m. fl.

   Häftad, 2019

   551 kr

   Lägg i varukorg

   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 …

3. 

   Languages, Design Methods, and Tools for Electronic System Design

   Selected Contributions from FDL 2018

   Av Tom J. Kazmierski, Sebastian Steinhorst m. fl.

   Inbunden, 2019

   551 kr

   Lägg i varukorg

   This book brings together a selection of the best papers from the twenty-first edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 10-12, 2018, in Munich, Germany. FDL is a well-established international forum devoted to dissemination of …

4. 

   Languages, Design Methods, and Tools for Electronic System Design

   Selected Contributions from FDL 2018

   Av Tom J. Kazmierski, Sebastian Steinhorst m. fl.

   Häftad, 2021

   551 kr

   Lägg i varukorg

   This book brings together a selection of the best papers from the twenty-first edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 10-12, 2018, in Munich, Germany. FDL is a well-established international forum devoted to dissemination of …

5. 

   Enhanced Virtual Prototyping

   Featuring RISC-V Case Studies

   Av Vladimir Herdt, Daniel Große m. fl.

   Inbunden, 2020

   1313 kr

   Lägg i varukorg

   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 …

6. 

   Enhanced Virtual Prototyping

   Featuring RISC-V Case Studies

   Av Vladimir Herdt, Daniel Große m. fl.

   Häftad, 2021

   932 kr

   Lägg i varukorg

   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 …

7. 

   Recent Findings in Boolean Techniques

   Selected Papers from the 14th International Workshop on Boolean Problems

   Av Rolf Drechsler, Daniel Große

   Inbunden, 2021

   1095 kr

   Lägg i varukorg

   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 …

8. 

   Recent Findings in Boolean Techniques

   Selected Papers from the 14th International Workshop on Boolean Problems

   Av Rolf Drechsler, Daniel Große

   Häftad, 2022

   1010 kr

   Lägg i varukorg

   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 …

9. 

   Enhanced Virtual Prototyping for Heterogeneous Systems

   Av Muhammad Hassan, Daniel Große m. fl.

   Inbunden, 2022

   1204 kr

   Lägg i varukorg

   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 …

10. 

    Enhanced Virtual Prototyping for Heterogeneous Systems

    Av Muhammad Hassan, Daniel Große m. fl.

    Häftad, 2023

    878 kr

    Lägg i varukorg

    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 …

11. 

    Verbessertes virtuelles Prototyping

    Mit RISC-V-Fallstudien

    Av Vladimir Herdt, Daniel Große m. fl.

    Inbunden, 2023

    922 kr

    Lägg i varukorg

    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 …

12. 

    Formal Verification of Structurally Complex Multipliers

    Av Alireza Mahzoon, Daniel Große m. fl.

    Inbunden, 2023

    986 kr

    Lägg i varukorg

    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 …

13. 

    Formal Verification of Structurally Complex Multipliers

    Av Alireza Mahzoon, Daniel Große

    2023

    667 kr

    Lägg i varukorg

14. 

    Formal Verification of Structurally Complex Multipliers

    Av Alireza Mahzoon, Daniel Große m. fl.

    Häftad, 2024

    986 kr

    Lägg i varukorg

    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 …

15. 

    Erweiterte virtuelle Prototypen für heterogene Systeme

    Av Muhammad Hassan, Daniel Große m. fl.

    Inbunden, 2024

    871 kr

    Lägg i varukorg

    Dieses Buch beschreibt eine umfassende Kombination von Methoden, die den modernen Virtual Prototype (VP)-basierten Verifikationsfluss für heterogene Systems-on-Chip (SOCs) stark verbessern. Insbesondere kombiniert das Buch Verifikations- und Analyseaspekte über verschiedene Stufen des VP-basierten …

16. 

    Versatile Hardware Analysis Techniques

    From Waveform-based Analysis to Formal Verification

    Av Lucas Klemmer, Daniel Große

    Inbunden, 2025

    1530 kr

    Lägg i varukorg

    This book describes several versatile hardware analysis techniques that tackle existing and new challenges. These techniques cover different phases of the hardware development process, including the verification, debugging, and post-synthesis optimization phases. The authors introduce the Waveform …

17. 

    Versatile Hardware Analysis Techniques

    From Waveform-based Analysis to Formal Verification

    Av Lucas Klemmer, Daniel Große

    Häftad, 2026

    1530 kr

    Lägg i varukorg

    This book describes several versatile hardware analysis techniques that tackle existing and new challenges. These techniques cover different phases of the hardware development process, including the verification, debugging, and post-synthesis optimization phases. The authors introduce the Waveform …

18. 

    Breaking Barriers in HW-to-SW Stack Verification

    Virtual Prototyping meets Metamorphic Testing and Dynamic Runtime Instrumentation

    Av Christoph Hazott, Daniel Große

    Inbunden, 2026

    1372 kr

    Kommande

    This book aims to overcome the barriers in HW-to-SW stack verification, specifically those posed by the test oracle problem and isolated analysis. The authors provide tools and strategies that make it feasible to test and analyze highly complex hardware-software systems more efficiently, covering …

19. 

    Design Automation Techniques for Approximation Circuits

    Verification, Synthesis and Test

    Av Arun Chandrasekharan, Daniel Große m. fl.

    Inbunden, 2018

    551 kr

    Lägg i varukorg

    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 …

20. 

    Quality-Driven SystemC Design

    Av Daniel Große, Rolf Drechsler

    Inbunden, 2009

    1128 kr

    Lägg i varukorg

    A quality-driven design and verification flow for digital systems is developed and presented in Quality-Driven SystemC Design. Two major enhancements characterize the new flow: First, dedicated verification techniques are integrated which target the different levels of abstraction. Second, each …

21. 

    Quality-Driven SystemC Design

    Av Daniel Große, Rolf Drechsler

    Häftad, 2014

    1128 kr

    Lägg i varukorg

    A quality-driven design and verification flow for digital systems is developed and presented in Quality-Driven SystemC Design. Two major enhancements characterize the new flow: First, dedicated verification techniques are integrated which target the different levels of abstraction. Second, each …