A high-level synthesis and verification tool for fixed to floating point conversion.

Semih Aslan Erdal Oruklu Jafar Saniie

Published in: MWSCAS (2012)

Keyphrases

floating point
high level synthesis
fixed point
square root
sparse matrices
floating point arithmetic
instruction set
interval arithmetic
case study
reinforcement learning
low cost
massively parallel