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…