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