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

Aman Kumar Mark Litterick Samuele Candido

Published in: CoRR (2024)

Keyphrases

benchmark datasets
computationally expensive
computational cost
machine learning
genetic algorithm
computer vision
bayesian networks
low cost
signal processing
cost effective
qualitative and quantitative
computationally intensive
methods require