2 papers
cs.SE2024
A Semi-Formal Verification Methodology for Efficient Configuration Coverage of Highly Configurable Digital Designs
Aman Kumar, Sebastian Simon
Nowadays, a majority of System-on-Chips (SoCs) make use of Intellectual Property (IP) in order to shorten development cycles. When such IPs are developed, one of the main focuses l…
eess.SP2024
Efficient Verification of a RADAR SoC Using Formal and Simulation-Based Methods
Aman Kumar, Mark Litterick, Samuele Candido
As the demand for Internet of Things (IoT) and Human-to-Machine Interaction (HMI) increases, modern System-on-Chips (SoCs) offering such solutions are becoming increasingly complex…