Is Your System’s Security preserved? Verification of Security IP integration

Predrag Nikolic, Verification Engineers at Veriest, has authored this paper that was presented at DVCon US 2023.

Abstract- Most modern SoCs contain a HW Security block. The main task for this block is to protect the entire system from outside attacks. Without a Security block, the system would be open to malicious attacks that could lead to undesired behavior and results. Since such Security blocks became very complex, many companies do not develop them directly, but rather opt to license third-party IPs from companies specialized in this field. Once the IP is integrated to the RTL, it is essential to verify the correctness of the integration, i.e., to confirm that all Security features are preserved and available. This paper will focus on describing a Functional verification approach for confirming that third-party Security IP was properly integrated to the system, by using a SV/UVM coverage driven methodology. The example used in this paper is related to SoCs for the Automotive Industry – Autonomous vehicles.

Is Your System’s Security preserved? Verification of Security IP integration