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