Mark Litterick

According to our database, Mark Litterick authored at least 2 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Efficient Verification of a RADAR SoC Using Formal and Simulation-Based Methods.

Aman Kumar, Mark Litterick, Samuele Candido

CoRR, 2024

2004

Robust Vera Coding Techniques for Gate-Level and Tester-Compliant SoC Verification Environments.

Mark Litterick, Joachim Geishauser

Proceedings of the Fifth International Workshop on Microprocessor Test and Verification (MTV 2004), 2004