Efficient Verification of a RADAR SoC Using Formal and Simulation-Based Methods Author(s): Aman Kumar, Mark Litterick & Samuele Candido Download
