Languages
Grosse, Daniel.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Quality-driven SystemC design
by:
Drechsler, Rolf.; SpringerLink (Online service); Grosse, Daniel.
(Language materials, printed)
Enhanced virtual prototyping = featuring RISC-V case studies /
by:
Herdt, Vladimir.; Grosse, Daniel.; Drechsler, Rolf.; SpringerLink (Online service)
(Electronic resources)
Enhanced virtual prototyping for heterogeneous systems
by:
Hassan, Muhammad.; Grosse, Daniel.; Drechsler, Rolf.; SpringerLink (Online service)
(Electronic resources)
Formal verification of structurally complex multipliers
by:
Mahzoon, Alireza.; Grosse, Daniel.; Drechsler, Rolf.; SpringerLink (Online service)
(Electronic resources)
Subjects
Systems on a chip.
Electronics Design and Verification.
Software Engineering/Programming and Operating Systems.
Algebra- Data processing.
Cyber-physical systems, IoT.
Numerical calculations- Verification
Circuits and Systems.
C (Computer program language)
Engineering.
Register-Transfer-Level Implementation.
Prototypes, Engineering.
Electronic Circuits and Systems.
Embedded Systems.
System design.
Software prototyping.
Multipliers (Mathematical analysis)
Symbolic and Algebraic Manipulation.