Binary floating point verification using random test vector generation based on SV constraints.

Khaled Nouh Hossam A. H. Fahmy

Published in: ICECS (2015)

Keyphrases

floating point
sparse matrices
interval arithmetic
square root
non binary
sparse matrix
fixed point
binary csps
constraint satisfaction
constraint programming
fast fourier transform
model checking
instruction set
computer architecture
test generation
higher order
constraint satisfaction problems