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

Kategorier

21 produkter

Del 530 - Lecture Notes in Electrical Engineering
Languages, Design Methods, and Tools for Electronic System Design
Selected Contributions from FDL 2017
AvDaniel Große,Sara Vincom. fl.
Inbunden, Engelska, 2019
1 113 kr
Skickas inom 10-15 vardagar
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 results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems.Covers modeling and verification methodologies targeting digital and analog systems;Addresses firmware development and validation;Targets both functional and non-functional properties;Includes descriptions of methods for reliable system design.
Design Automation Techniques for Approximation Circuits
Verification, Synthesis and Test
AvArun Chandrasekharan,Daniel Großem. fl.
Häftad, Engelska, 2019
560 kr
Skickas inom 10-15 vardagar
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 formal verification, synthesis and test techniques for an approximate computing IC design flow. This is one of the first books in Approximate Computing that addresses the design automation aspects, aiming for not only sketching the possibility, but providing a comprehensive overview of different tasks and especially how they can be implemented.
Del 611 - Lecture Notes in Electrical Engineering
Languages, Design Methods, and Tools for Electronic System Design
Selected Contributions from FDL 2018
AvTom J. Kazmierski,Sebastian Steinhorstm. fl.
Inbunden, Engelska, 2019
560 kr
Skickas inom 10-15 vardagar
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 research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems.Covers Assertion Based Design, Verification & Debug;Includes language-based modeling and design techniques for embedded systems;Covers design, modeling and verification of mixed physical domain and mixed signal systems that include significant analog parts in electrical and non-electrical domains;Includes formal and semi-formal system level design methods for complex embeddedsystems based on the Unified Modelling Language (UML) and Model Driven Engineering (MDE).
Del 611 - Lecture Notes in Electrical Engineering
Languages, Design Methods, and Tools for Electronic System Design
Selected Contributions from FDL 2018
AvTom J. Kazmierski,Sebastian Steinhorstm. fl.
Häftad, Engelska, 2021
560 kr
Skickas inom 10-15 vardagar
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 research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems.Covers Assertion Based Design, Verification & Debug;Includes language-based modeling and design techniques for embedded systems;Covers design, modeling and verification of mixed physical domain and mixed signal systems that include significant analog parts in electrical and non-electrical domains;Includes formal and semi-formal system level design methods for complex embeddedsystems based on the Unified Modelling Language (UML) and Model Driven Engineering (MDE).
Enhanced Virtual Prototyping
Featuring RISC-V Case Studies
AvVladimir Herdt,Daniel Großem. fl.
Inbunden, Engelska, 2020
1 335 kr
Skickas inom 10-15 vardagar
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 techniques that handle functional as well as non-functional aspects and also describes correspondence analyses between the Hardware- and VP-level to utilize information available at different levels of abstraction. All approaches are discussed in detail and are evaluated extensively, using several experiments to demonstrate their effectiveness in enhancing the VP-based design flow. Furthermore, the book puts a particular focus on the modern RISC-V ISA, with several case-studies covering modeling as well as VP and SW verification aspects.
Enhanced Virtual Prototyping
Featuring RISC-V Case Studies
AvVladimir Herdt,Daniel Großem. fl.
Häftad, Engelska, 2021
948 kr
Skickas inom 10-15 vardagar
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 techniques that handle functional as well as non-functional aspects and also describes correspondence analyses between the Hardware- and VP-level to utilize information available at different levels of abstraction. All approaches are discussed in detail and are evaluated extensively, using several experiments to demonstrate their effectiveness in enhancing the VP-based design flow. Furthermore, the book puts a particular focus on the modern RISC-V ISA, with several case-studies covering modeling as well as VP and SW verification aspects.
Recent Findings in Boolean Techniques
Selected Papers from the 14th International Workshop on Boolean Problems
AvRolf Drechsler,Daniel Große
Inbunden, Engelska, 2021
1 113 kr
Skickas inom 10-15 vardagar
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.
Recent Findings in Boolean Techniques
Selected Papers from the 14th International Workshop on Boolean Problems
AvRolf Drechsler,Daniel Große
Häftad, Engelska, 2022
991 kr
Skickas inom 3-6 vardagar
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.
Enhanced Virtual Prototyping for Heterogeneous Systems
AvMuhammad Hassan,Daniel Großem. fl.
Inbunden, Engelska, 2022
1 224 kr
Skickas inom 10-15 vardagar
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 techniques, like metamorphic testing, data flow testing, and information flow testing. In addition, the book puts a strong emphasis on advanced coverage-driven methodologies to verify the functional behavior of the SOC as well as ensure its security.Provides an extensive introduction to the modern VP-based verification flow for heterogeneous SOCs;Introduces a novel metamorphic testing technique for heterogeneous SOCs which does not require reference models;Includes automated advanced data flow coverage-driven methodologies tailored for SystemC/AMS-based VPs;Describes enhanced functional coverage-driven methodologies to verify various functional behaviors of RF amplifiers.
Enhanced Virtual Prototyping for Heterogeneous Systems
AvMuhammad Hassan,Daniel Großem. fl.
Häftad, Engelska, 2023
892 kr
Skickas inom 10-15 vardagar
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 techniques, like metamorphic testing, data flow testing, and information flow testing. In addition, the book puts a strong emphasis on advanced coverage-driven methodologies to verify the functional behavior of the SOC as well as ensure its security.Provides an extensive introduction to the modern VP-based verification flow for heterogeneous SOCs;Introduces a novel metamorphic testing technique for heterogeneous SOCs which does not require reference models;Includes automated advanced data flow coverage-driven methodologies tailored for SystemC/AMS-based VPs;Describes enhanced functional coverage-driven methodologies to verify various functional behaviors of RF amplifiers.
Verbessertes virtuelles Prototyping
Mit RISC-V-Fallstudien
AvVladimir Herdt,Daniel Großem. fl.
Inbunden, Tyska, 2023
938 kr
Skickas inom 10-15 vardagar
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 (SW) zugeschnitten sind. Die Abdeckung umfasst auch VP-Modellierungstechniken, die sowohl funktionale als auch nicht-funktionale Aspekte behandeln, und beschreibt zudem Korrespondenzanalysen zwischen der Hardware- und VP-Ebene, um die auf verschiedenen Abstraktionsebenen verfügbaren Informationen zu nutzen. Alle Ansätze werden ausführlich diskutiert und anhand mehrerer Experimente evaluiert, um ihre Effektivität bei der Verbesserung des VP-basierten Entwurfsablaufs zu demonstrieren. Darüber hinaus legt das Buch einen besonderen Schwerpunkt auf den modernen RISC-V ISA, mit mehreren Fallstudien, die sowohl Aspekteder Modellierung als auch der VP- und SW-Verifikation abdecken.
Formal Verification of Structurally Complex Multipliers
AvAlireza Mahzoon,Daniel Großem. fl.
Inbunden, Engelska, 2023
1 003 kr
Skickas inom 10-15 vardagar
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, reverse engineering, and dynamic backward rewriting. This enables readers to verify a wide variety of multipliers, including highly complex and optimized industrial benchmarks. The authors also describe a complete debugging flow, including bug localization and fixing, to find the location of bugs in structurally complex multipliers and make corrections.
Formal Verification of Structurally Complex Multipliers
AvAlireza Mahzoon,Daniel Große
Engelska, 2023
646 kr
Skickas inom 5-8 vardagar
Formal Verification of Structurally Complex Multipliers
AvAlireza Mahzoon,Daniel Großem. fl.
Häftad, Engelska, 2024
1 003 kr
Skickas inom 10-15 vardagar
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, reverse engineering, and dynamic backward rewriting. This enables readers to verify a wide variety of multipliers, including highly complex and optimized industrial benchmarks. The authors also describe a complete debugging flow, including bug localization and fixing, to find the location of bugs in structurally complex multipliers and make corrections.
Erweiterte virtuelle Prototypen für heterogene Systeme
AvMuhammad Hassan,Daniel Großem. fl.
Inbunden, Tyska, 2024
886 kr
Skickas inom 10-15 vardagar
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 Verifikationsflusses hinweg und bietet eine neue Perspektive auf die Verifikation, indem es fortschrittliche Techniken wie metamorphes Testen, Datenfluss-Testen und Informationsfluss-Testen einsetzt. Darüber hinaus legt das Buch einen starken Schwerpunkt auf fortschrittliche, abdeckungsorientierte Methoden zur Verifizierung des funktionalen Verhaltens des SOC sowie zur Gewährleistung seiner Sicherheit.Bietet eine umfassende Einführung in den modernen VP-basierten Verifikationsablauf für heterogene SOCs;Stellt eine neuartige metamorphe Testtechnik für heterogene SOCs vor, die keine Referenzmodelle erfordert;Enthält automatisierte, fortschrittliche, auf Datenflussabdeckung basierende Methoden, die auf SystemC/AMS-basierte VP zugeschnitten sind;Beschreibt erweiterte funktionale abdeckungsgesteuerte Methoden zur Verifizierung verschiedener funktionaler Verhaltensweisen von RF-Verstärkern.
Versatile Hardware Analysis Techniques
From Waveform-based Analysis to Formal Verification
AvLucas Klemmer,Daniel Große
Inbunden, Engelska, 2025
1 556 kr
Skickas inom 10-15 vardagar
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 Analysis Language (WAL), which allows users to code analysis tasks in the form of programs that run on waveforms. The book covers processor verification, formal microcode verification, programmable automated waveform analysis demonstrated for a large variety of previously manual analysis tasks, as well as netlist optimization leveraging formal methods. All methods are available as open source, typically include examples on RISC-V analysis problems, providing a strong foundation for the community.
Versatile Hardware Analysis Techniques
From Waveform-based Analysis to Formal Verification
AvLucas Klemmer,Daniel Große
Häftad, Engelska, 2026
1 556 kr
Skickas inom 10-15 vardagar
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 Analysis Language (WAL), which allows users to code analysis tasks in the form of programs that run on waveforms. The book covers processor verification, formal microcode verification, programmable automated waveform analysis demonstrated for a large variety of previously manual analysis tasks, as well as netlist optimization leveraging formal methods. All methods are available as open source, typically include examples on RISC-V analysis problems, providing a strong foundation for the community.
Nyhet
Breaking Barriers in HW-to-SW Stack Verification
Virtual Prototyping meets Metamorphic Testing and Dynamic Runtime Instrumentation
AvChristoph Hazott,Daniel Große
Inbunden, Engelska, 2026
1 328 kr
Skickas inom 11-20 vardagar
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 the entire HW-to-SW stack. The methods discussed address important challenges of modern HW/SW development through versatile test and analysis techniques, promising significant advancements in the efficiency and effectiveness of the verification processes.
Design Automation Techniques for Approximation Circuits
Verification, Synthesis and Test
AvArun Chandrasekharan,Daniel Großem. fl.
Inbunden, Engelska, 2018
560 kr
Skickas inom 10-15 vardagar
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 formal verification, synthesis and test techniques for an approximate computing IC design flow. This is one of the first books in Approximate Computing that addresses the design automation aspects, aiming for not only sketching the possibility, but providing a comprehensive overview of different tasks and especially how they can be implemented.
Quality-Driven SystemC Design
AvDaniel Große,Rolf Drechsler
Inbunden, Engelska, 2009
1 147 kr
Skickas inom 10-15 vardagar
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 verification technique is complemented by an approach to measure the achieved verification quality. The new flow distinguishes three levels of abstraction (namely system level, top level and block level) and can be incorporated in existing approaches. After reviewing the preliminary concepts, in the following chapters the three levels for modeling and verification are considered in detail. At each level the verification quality is measured. In summary, following the new design and verification flow a high overall quality results.
Quality-Driven SystemC Design
AvDaniel Große,Rolf Drechsler
Häftad, Engelska, 2014
1 147 kr
Skickas inom 10-15 vardagar
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 verification technique is complemented by an approach to measure the achieved verification quality. The new flow distinguishes three levels of abstraction (namely system level, top level and block level) and can be incorporated in existing approaches. After reviewing the preliminary concepts, in the following chapters the three levels for modeling and verification are considered in detail. At each level the verification quality is measured. In summary, following the new design and verification flow a high overall quality results.

Företag, bibliotek eller offentlig verksamhet?

Daniel Große – författare

Languages, Design Methods, and Tools for Electronic System Design

Design Automation Techniques for Approximation Circuits

Languages, Design Methods, and Tools for Electronic System Design

Languages, Design Methods, and Tools for Electronic System Design

Enhanced Virtual Prototyping

Enhanced Virtual Prototyping

Recent Findings in Boolean Techniques

Recent Findings in Boolean Techniques

Enhanced Virtual Prototyping for Heterogeneous Systems

Enhanced Virtual Prototyping for Heterogeneous Systems

Verbessertes virtuelles Prototyping

Formal Verification of Structurally Complex Multipliers

Formal Verification of Structurally Complex Multipliers

Formal Verification of Structurally Complex Multipliers

Erweiterte virtuelle Prototypen für heterogene Systeme

Versatile Hardware Analysis Techniques

Versatile Hardware Analysis Techniques

Breaking Barriers in HW-to-SW Stack Verification

Design Automation Techniques for Approximation Circuits

Quality-Driven SystemC Design

Quality-Driven SystemC Design

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration