Robust Vera Coding Techniques for Gate-Level and Tester-Compliant SoC Verification Environments. - Mark Litterick; Joachim Geishauser (MTV, 2004)

Efficient Verification of a RADAR SoC Using Formal and Simulation-Based Methods. - Aman Kumar; Mark Litterick; Samuele Candido (CoRR, 2024)

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