Daniel Groe – författare
Visar alla böcker från författaren Daniel Groe. Handla med fri frakt och snabb leverans.
6 produkter
Enhanced Virtual Prototyping
Featuring RISC-V Case Studies
Av Rolf Drechsler, Daniel Groe m. fl.
E-bok, 2020
1214 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 …
Verbessertes virtuelles Prototyping
Mit RISC-V-Fallstudien
Av Rolf Drechsler, Daniel Groe m. fl.
E-bok, 2023
978 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 …
Formal Verification of Structurally Complex Multipliers
Av Rolf Drechsler, Daniel Groe m. fl.
E-bok, 2023
1255 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 …
Erweiterte virtuelle Prototypen für heterogene Systeme
Av Rolf Drechsler, Daniel Groe m. fl.
E-bok, 2024
913 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 …
Design Automation Techniques for Approximation Circuits
Verification, Synthesis and Test
Av Rolf Drechsler, Daniel Groe m. fl.
E-bok, 2018
718 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 …
Quality-Driven SystemC Design
Av Rolf Drechsler, Daniel Groe
E-bok, 2009
1459 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 …
