Daniel Große

Books by Daniel Große

Total count: 10

• 
  Quality-Driven SystemC Design

  Springer2014-10-16
• 
  Languages, Design Methods, and Tools for Electronic System DesignSelected Contributions from FDL 2017

  Springer2018-12-19
• 
  Design Automation Techniques for Approximation CircuitsVerification, Synthesis and Test

  Springer2019-01-11
• Enhanced Virtual PrototypingFeaturing RISC-V Case Studies

  Springer International Publishing AG2020-01-01
• Recent Findings in Boolean TechniquesSelected Papers from the 14th International Workshop on Boolean Problems

  Springer International Publishing AG2021-01-01
• Erweitertes Virtuelles PrototypingMit RISC-V-Fallstudien

  Springer Vieweg. in Springer Fachmedien Wiesbaden GmbH2023-01-01
• Enhanced Virtual Prototyping for Heterogeneous Systems

  Springer International Publishing AG2023-01-01
• Formal Verification of Structurally Complex Multipliers

  Springer International Publishing AG2023-01-01
• Erweiterte Virtuelle Prototypen Für Heterogene Systeme

  Springer Vieweg. in Springer Fachmedien Wiesbaden GmbH2024-01-01
• Versatile Hardware Analysis TechniquesFrom Waveform-Based Analysis to Formal Verification

  Springer2025-01-01