Altifigence Academy
← Mon apprentissage

Fondamentaux de la conception RTL

Plan du cours

Plan du cours
01RTL et contrats de modules
RTL : décrire des circuits concurrentsConcept
Signaux et ports : contrat de largeur, de direction et de tempsConcept
Modules, ports et instances : des connexions contractuellesConcept
Vérification : sortie combinatoire et mémoriséeVérification
02Types, largeurs, signe et expressions
logic, wire, X/Z et largeurs explicitesConcept
Indices des vecteurs, ordre des bits et signeConcept
Largeurs des tranches, concaténations et répétitionsConcept
Complément à deux, extension de signe et dépassementConcept
Vérification : intervalle et extension expliciteVérification
03RTL combinatoire complète et vérification
RTL combinatoire et affectations complètesConcept
Encodeurs et priorité : choisir une requête parmi plusieursConcept
Vérification du MUX : tests exhaustifs et propriétésConcept
Bilan de conception : équivalence de sélection et instant d'observationVérification
04État, affectations et priorité de remise à zéro
Bascules, enable et priorité des commandesConcept
Affectations non bloquantes et mise à jour simultanéeConcept
Compteurs modulo, saturation et impulsion terminaleConcept
Travaux pratiques : reset, rebouclage et invariants du compteurTravaux pratiques
Bilan : largeur, priorité et limites du rebouclageVérification
05Paramètres et génération de structures statiques
parameter, localparam, $clog2 et configurations limitesConcept
generate : construire des circuits statiques avec des bouclesConcept
function automatic et expressions réutilisablesConcept
Vérification : N=1 et largeurVérification
06Bancs de test et vérification indépendante
Instants d'échantillonnage et causalité dans les chronogrammesConcept
Travaux pratiques : un banc qui signale ses propres échecsTravaux pratiques
Plan de vérification, couverture et référence indépendanteConcept
Déboguer un compteur avec un contre-exemple minimalConcept
Vérification : références et coursesVérification
07Composition de modules et travaux pratiques intégrés
Machines à états : séparer état, transition et sortieConcept
Projet de synthèse : détecteur de 101 avec recouvrementConcept
Ready/valid et tampon élastique d'une placeConcept
Pipeline multiplication-addition et alignement des donnéesConcept
Travaux pratiques intégrés : impulsions périodiques et accumulateur autoriséTravaux pratiques
08Diagnostics des outils et portée des résultats
Setup, hold et budget temporelConcept
Frontières de domaines d'horloge et métastabilitéConcept
Compilation, lint et synthèse : portée des diagnosticsConcept
Traces d'exécution et poursuite des travaux pratiques DDSConcept
Vérification finale : fonction et preuvesVérification

Votre choix s’applique à ce navigateur. Modifiez-le à tout moment en bas de page.

Stockage nécessaire

Permet la connexion sécurisée, les données et réglages demandés, ainsi que vos choix de confidentialité.

Toujours actif

Aucun traceur publicitaire ou analytique. Votre choix est conservé 180 jours, indépendamment de la connexion ou de l’acceptation des conditions.