1 paper · 1 filter
Mark Litterick, Aleksandar Ivankovic, Bojan Arsov +1
This paper presents pragmatic solutions for verifying complex mathematical algorithms implemented in hardware in an efficient and effective manner. Maximizing leverage of a known-a…