Séances de cours associées à Hardware emulation

Explore les défis en matière de vérification matérielle, de spécifications claires, de dommages spéculatifs et de sémantique précise du cycle.

Explore les bases des microcontrôleurs, de la définition à la mise en œuvre pratique en utilisant Arduino et LaunchPad.

Couvre les techniques de test pour les systèmes VLSI numériques, y compris la modélisation des défauts et la conception pour la testabilité.

Présente le cadre SecChisel pour la vérification des propriétés de sécurité des architectures de processeurs sécurisées au moment de la conception.

Couvre le processus de génération d'une adresse IP Clock Generator (PLL) dans Vivado à l'aide de l'outil Clocking Wizard.