Große, Daniel
Daniel Große researcher ORCID ID = 0000-0002-1490-6175
VIAF ID: 80945590 ( Personal )
Permalink: http://viaf.org/viaf/80945590
Preferred Forms
- 100 0 _ ‡a Daniel Große ‡c researcher ORCID ID = 0000-0002-1490-6175
- 100 1 _ ‡a Grosse, Daniel
-
-
- 100 1 _ ‡a Große, Daniel
- 100 1 _ ‡a Große, Daniel
- 100 1 _ ‡a Große, Daniel
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
Design Automation Techniques for Approximation Circuits : Verification, Synthesis and Test | |
Enhanced Virtual Prototyping for Heterogeneous Systems | |
Formal Verification of Structurally Complex Multipliers | |
Languages, Design Methods, and Tools for Electronic System Design : Selected Contributions from FDL 2017 | |
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen | |
Quality-driven SystemC design, c2010: | |
Recent Findings in Boolean Techniques : Selected Papers from the 14th International Workshop on Boolean Problems | |
Symbolic error metric determination for approximate computing | |
Towards Automated Refinement of TLM Properties to RTL | |
Verbessertes virtuelles Prototyping : Mit RISC-V-Fallstudien |