Languages
GroBe, Daniel.
Overview
| Works: | 1 works in 4 publications in 1 languages | |
|---|---|---|
Titles
Design automation techniques for approximation circuits = verification, synthesis and test /
by:
Chandrasekharan, Arun.; GroBe, Daniel.; Drechsler, Rolf.; SpringerLink (Online service)
(Electronic resources)
Recent findings in Boolean techniques = selected papers from the 14th International Workshop on Boolean Problems /
by:
Drechsler, Rolf.; GroBe, Daniel.; SpringerLink (Online service); International Workshop on Boolean Problems (2020 :)
(Electronic resources)
Languages, design methods, and tools for electronic system design = selected contributions from FDL 2017 /
by:
GroBe, Daniel.; Vinco, Sara.; Patel, Hiren.; SpringerLink (Online service)
(Electronic resources)
Languages, design methods, and tools for electronic system design = selected contributions from FDL 2018 /
by:
GroBe, Daniel.; SpringerLink (Online service); Kazmierski, Tom J.; Steinhorst, Sebastian.
(Electronic resources)
Subjects
Software engineering
Software architecture
Electronics and Microelectronics, Instrumentation.
Electronic circuit design- Data processing
Computer-aided design
Algebra, Boolean
Cyber-physical systems, IoT.
Processor Architectures.
Formal methods (Computer science)
Approximation algorithms.
Circuits and Systems.
Computer hardware description languages
Computer software- Verification
System design.
Electronics and Microelectronics, instrumentation.