TY - RPRT TI - Hard Math -- Easy UVM: Pragmatic solutions for verifying hardware algorithms using UVM AU - Mark Litterick AU - Aleksandar Ivankovic AU - Bojan Arsov AU - Aman Kumar PY - 2024 UR - https://arxiv.org/abs/2412.04919 ID - 2412.04919 ER -