Exploring the Role of the Portable Stimulus Standard in Enhancing Security Property Verification
Rattachement africain : de. Niveau de preuve : code pays fourni par la source.
Le résumé fourni par la source
The security of the hardware design has been a critical concern in the semiconductor industry in the recent years. Modern integrated circuit designs of the security-critical application contain numerous sensitive data that needs to be protected against adversary attacks. An Intellectual Property (IP) block such as security controllers is integrated into the System on Chip (SoC) to protect the sensitive asset and its integrity with certain measures that implement cryptographic algorithms. Verification of security properties of this type of IP block is especially important and crucial to ensure its trustworthiness. This paper presents an approach to enhance security property verification of the design using Portable Test and Stimulus Standard (PSS) along with existing testbench. PSS defines a specification to generate a single representation of stimulus and test scenarios, which is usable by a various user across different level of integration. We have modelled functionality and security property of the Security Controller IP at abstract level using PSS. Then, PSS model has facilitated to generate a set of concrete test cases in Specman/e for various scenarios. The generated test cases are executed in verification environment and analyzed the results that verify security properties.
Ce résumé expose les affirmations des auteurs. BNTIC ne l’interprète pas comme une validation indépendante des résultats.
Le contrôle bibliographique ouvert
DOI retrouvé dans Crossref DOI retrouvé ; titre concordant.
- Titre Crossref
- Exploring the Role of the Portable Stimulus Standard in Enhancing Security Property Verification
- Date Crossref
- 06/10/2024
- Éditeur
- IEEE
- Type
- proceedings-article
Ce recoupement confirme des métadonnées liées au DOI. Il ne confirme ni la méthode ni les conclusions de l’étude, et il ne compte pas comme une seconde source scientifique indépendante.
Où se fait cette recherche
-
Infineon Technologies (Germany) pays non établi dans la noticeEntreprise
-
Chemnitz University of Technology pays non établi dans la noticeUniversité ou école supérieure
-
Infineon Technologies GmbH & pays non établi dans la noticeEntreprise
-
Infineon Technologies A G pays non établi dans la noticeInstitution
-
Technical University of Chemnitz pays non établi dans la noticeUniversité ou école supérieure
Infineon Technologies (Germany), Chemnitz University of Technology et Infineon Technologies GmbH &, avec 2 autres affiliations.
Une affiliation ne permet pas de déduire la nationalité d’un auteur.