Description du livre
Ce livre décrit une grande variété de menaces et de vulnérabilités de sécurité des systèmes sur puce (SoC), ainsi que leurs sources, à chaque étape du cycle de vie de la conception. Les auteurs discutent d'une grande variété d'approches de vérification et de validation de la sécurité à la fine pointe de la technologie, telles que les méthodes formelles et l'analyse des canaux latéraux, ainsi que les approches de validation de la sécurité et de la confiance fondées sur la simulation. Ce livre constitue une référence complète pour les concepteurs de systèmes sur puce et les ingénieurs de vérification et de validation intéressés à vérifier la sécurité et la confiance de SoC hétérogènes.