Languages
Grosse, Daniel.
Overview
| Works: | 1 works in 4 publications in 1 languages | |
|---|---|---|
Titles
Quality-driven SystemC design
by:
Drechsler, Rolf.; SpringerLink (Online service); Grosse, Daniel.
(Language materials, printed)
Enhanced virtual prototyping for heterogeneous systems
by:
Grosse, Daniel.; Drechsler, Rolf.; SpringerLink (Online service); Hassan, Muhammad.
(Electronic resources)
Enhanced virtual prototyping = featuring RISC-V case studies /
by:
Herdt, Vladimir.; Grosse, Daniel.; Drechsler, Rolf.; SpringerLink (Online service)
(Electronic resources)
Versatile hardware analysis techniques = from waveform-based analysis to formal verification /
by:
Grosse, Daniel.; SpringerLink (Online service); Klemmer, Lucas.
(Electronic resources)
Formal verification of structurally complex multipliers
by:
Grosse, Daniel.; Drechsler, Rolf.; SpringerLink (Online service); Mahzoon, Alireza.
(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
Formal methods (Computer science)
Logic Design.
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.
RISC microprocessors.