Russinoff, David M.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Formal verification of floating-point hardware designa mathematical approach /
by:
Russinoff, David M.; SpringerLink (Online service)
(Electronic resources)
Formal verification of floating-point hardware designa mathematical approach /
by:
Russinoff, David M.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Electronics Design and Verification.
Formal methods (Computer science)
Processor Architectures.
Circuits and Systems.
Performance and Reliability.
Arithmetic and Logic Structures.
Computer Hardware.
Floating-point arithmetic.
System design.
Hardware Performance and Reliability.