Mark Litterick

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 1

Top Topics

Computationally Intensive

Methods Require

Benchmark Datasets

Qualitative And Quantitative

Top Venues

Publications

Aman Kumar, Mark Litterick, Samuele Candido
Efficient Verification of a RADAR SoC Using Formal and Simulation-Based Methods. CoRR (2024)
Mark Litterick, Joachim Geishauser
Robust Vera Coding Techniques for Gate-Level and Tester-Compliant SoC Verification Environments. MTV (2004)