Login / Signup
Scalable Verification of a Generic End-Around-Carry Adder for Floating-Point Units by Coq.
Qian Wang
Xiaoyu Song
William N. N. Hung
Ming Gu
Jiaguang Sun
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2015)
Keyphrases
</>
floating point
formal methods
square root
fixed point
instruction set
model checking
sparse matrices
interval arithmetic
floating point arithmetic
software engineering
theorem prover
three dimensional
graphics processing units
fast fourier transform