Hard Math - Easy UVM: Pragmatic solutions for verifying hardware algorithms using UVM. - Mark Litterick; Aleksandar Ivankovic; Bojan Arsov; Aman Kumar (CoRR, 2024)