Samuele Candido

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 1

Top Topics

Computationally Intensive

Methods Require

Benchmark Datasets

Qualitative And Quantitative

Top Venues

Publications

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