Tag: david-m-russinoff ← All Products

FORMAL VERIFICATION OF FLOATING-POINT HARDWARE DESIGN: A By David M. Russinoff

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

Formal Verification of Floating-point Hardware Design : A Mathematical Approa...