Search Results for author: Mark Litterick

Found 1 papers, 0 papers with code

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

no code implementations20 Apr 2024 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.

Cannot find the paper you are looking for? You can Submit a new open access paper.