2 papers
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…
eess.SP2024
Efficient Verification of a RADAR SoC Using Formal and Simulation-Based Methods
Aman Kumar, Mark Litterick, Samuele Candido
As the demand for Internet of Things (IoT) and Human-to-Machine Interaction (HMI) increases, modern System-on-Chips (SoCs) offering such solutions are becoming increasingly complex…