Eintrag in der Universitätsbibliographie der TU Chemnitz
Nagar, Jaimini* ; Dworzak, Thorsten ; Simon, Sebastian ; Heinkel, Ulrich ; Lettnin, Djones
Exploring the Role of the Portable Stimulus Standard in Enhancing Security Property Verification
| Universität: | Technische Universität Chemnitz | |
| Institut: | Professur Schaltkreis- und Systementwurf | |
| Dokumentart: | Konferenzbeitrag, referiert | |
| ISBN/ISSN: | Electronic ISBN: 979-8-3315-3967-2 ; Print on Demand(PoD) ISBN: 979-8-3315-3968-9 ; Electronic ISSN: 2324-8440 ; Print on Demand(PoD) ISSN: 2324-8432 | |
| DOI: | doi:10.1109/VLSI-SoC62099.2024.10767830 | |
| Quelle: | 2024 IFIP/IEEE 32nd International Conference on Very Large Scale Integration (VLSI-SoC), 6.-9.10.2024, Tanger, Marokko, 2024 | |
| Freie Schlagwörter (Englisch): | Security property verification , PSS , security controller IP , simulation-based verification component |
