Home Advanced Search

Advanced Search - Page 1

Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test
  • PDF
  • English
  • Year: 2019
  • Author: Arun Chandrasekharan, Daniel Große, Rolf Drechsler
Formal Verification of Structurally Complex Multipliers
Formal Verification of Structurally Complex Multipliers
  • PDF
  • English
  • Year: 2023
  • Author: Alireza Mahzoon, Daniel Große, Rolf Drechsler
Verbessertes virtuelles Prototyping: Mit RISC-V-Fallstudien
Verbessertes virtuelles Prototyping: Mit RISC-V-Fallstudien
  • EPUB
  • German
  • Year: 2023
  • Author: Vladimir Herdt; Daniel Große; Rolf Drechsler
Verbessertes virtuelles Prototyping: Mit RISC-V-Fallstudien
  • PDF
  • German
  • Year: 2023
  • Author: Vladimir Herdt; Daniel Große; Rolf Drechsler
Formal Verification of Structurally Complex Multipliers
Formal Verification of Structurally Complex Multipliers
  • EPUB
  • English
  • Year: 2023
  • Author: Alireza Mahzoon; Daniel Große; Rolf Drechsler
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies
  • PDF
  • English
  • Year: 2021
  • Author: Vladimir Herdt, Daniel Große, Rolf Drechsler
Information Storage: A Multidisciplinary Perspective
Information Storage: A Multidisciplinary Perspective
  • PDF
  • English
  • Year: 2020
  • Author: Cornelia S. Große, Rolf Drechsler
Formal System Verification: State-of the-Art and Future Trends
Formal System Verification: State-of the-Art and Future Trends
  • EPUB
  • English
  • Year: 2018
  • Author: Drechsler, Rolf
Formal system verification : state-of the-art and future trends
Formal system verification : state-of the-art and future trends
  • PDF
  • English
  • Year: 2018
  • Author: Drechsler, Rolf
search