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