collaborators

1 paper

cs.AI2024

Hard Math -- Easy UVM: Pragmatic solutions for verifying hardware algorithms using UVM

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…