Formal Verification of Floating-Point Hardware Design: A Mathematical Approach von Russinoff, David M, Moore, J. Strother

Volltext

Computation and Formal Verification of SRT Quotient and Square Root Digit Selection Tables von Russinoff, D. M.

Volltext

A Computationally Surveyable Proof of the Group Properties of an Elliptic Curve von Russinoff, David M.

Volltext

A Formalization of Finite Group Theory: Part II von Russinoff, David M.

Volltext

A Formalization of Finite Group Theory: Part III von Russinoff, David M.

Volltext

Properties of the Hebrew Calendar von Russinoff, David M.

Volltext

A Formalization of Finite Group Theory von Russinoff, David M.

Volltext

Modeling Algorithms in SystemC and ACL2 von O'Leary, John W., Russinoff, David M.

Volltext

Formal Verification of Arithmetic RTL: Translating Verilog to C++ to ACL2 von Russinoff, David M.

Volltext

A case study in formal verification of register-transfer logic with ACL2 : The floating point adder of the AMD athlon processor von RUSSINOFF, David M

Volltext

Computation and Formal Verification of SRT Quotient and Square Root Digit Selection Tables von Russinoff, David M.

Volltext

Mechanically checked proof of correctness of the AMD K5 floating point square root microcode von Russinoff, David M

Volltext

A Formalization of Finite Group Theory: Part III von Russinoff, David M

Volltext

A Formalization of Finite Group Theory: Part II von Russinoff, David M

Volltext

A Formalization of Finite Group Theory von Russinoff, David M

Volltext

Properties of the Hebrew Calendar von Russinoff, David M

Volltext

Formal Verification of Arithmetic RTL: Translating Verilog to C++ to ACL2 von Russinoff, David M

Volltext

A formalization of a subset of VHDL in the Boyer-Moore logic von Russinoff, David M.

Volltext

A Computationally Surveyable Proof of the Group Properties of an Elliptic Curve von Russinoff, David M

Volltext

IEEE-Compliant Square Root von Russinoff, David M.

Volltext