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

Author(s):
Aman Kumar, Mark Litterick & Samuele Candido
Location:
Europe
Year:
2023
Type:
Paper
Format:
pdf