9 résultat(s)
Télécharger le livre : Versatile Hardware Analysis Techniques
Daniel Große , Lucas Klemmer
Versatile Hardware Analysis Techniques
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. ...
Editeur : Springer
Parution : 2025-03-06

Format(s) : PDF, ePub
137,14 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Erweiterte virtuelle Prototypen für heterogene Systeme
Rolf Drechsler , Daniel Große , Muhammad Hassan
Erweiterte virtuelle Prototypen für heterogene Systeme
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...
Editeur : Springer Vieweg
Parution : 2024-06-03

Format(s) : PDF, ePub
66,05 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Formal Verification of Structurally Complex Multipliers
Rolf Drechsler , Daniel Große , Alireza Mahzoon
Formal Verification of Structurally Complex Multipliers
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...
Editeur : Springer
Parution : 2023-02-14

Format(s) : PDF, ePub
94,94 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Enhanced Virtual Prototyping for Heterogeneous Systems
Rolf Drechsler , Daniel Große , Muhammad Hassan
Enhanced Virtual Prototyping for Heterogeneous Systems
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...
Editeur : Springer
Parution : 2022-09-01

Format(s) : PDF, ePub
84,39 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Recent Findings in Boolean Techniques
Rolf Drechsler , Daniel Große
Recent Findings in Boolean Techniques
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...
Editeur : Springer
Parution : 2021-04-29

Format(s) : PDF, ePub
94,94 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Enhanced Virtual Prototyping
Rolf Drechsler , Daniel Große , Vladimir Herdt
Enhanced Virtual Prototyping
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,...
Editeur : Springer
Parution : 2020-10-14

Format(s) : PDF, ePub
89,66 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Languages, Design Methods, and Tools for Electronic System Design
Daniel Große , Tom J. Kazmierski , Sebastian Steinhorst
Languages, Design Methods, and Tools for Electronic System Design
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...
Editeur : Springer
Parution : 2019-12-20
Collection : Lecture Notes in Electrical Engineering
Format(s) : PDF, ePub
52,74 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Languages, Design Methods, and Tools for Electronic System Design
Daniel Große , Hiren Patel , Sara Vinco
Languages, Design Methods, and Tools for Electronic System Design
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...
Editeur : Springer
Parution : 2018-12-19
Collection : Lecture Notes in Electrical Engineering
Format(s) : PDF, ePub
94,94 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Design Automation Techniques for Approximation Circuits
Arun Chandrasekharan , Rolf Drechsler , Daniel Große
Design Automation Techniques for Approximation Circuits
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...
Editeur : Springer
Parution : 2018-10-10

Format(s) : PDF, ePub
52,74 €
Téléchargement immédiat
Dès validation de votre commande