Altifigence Academy
← Mon apprentissage

Conception RTL : chemins de données et pipelines

Plan du cours

Plan du cours
01Contrats numériques et arithmétiques
Transformer une équation en contrat de chemin de donnéesConcept
Largeurs, extension de signe et débordementConcept
TP : modèle de référence d’une ALU sur huit bitsTravaux pratiques
Vérification : retenue et débordement signéVérification
02Transferts entre registres et commande
Lire les transferts entre registres aux fronts d’horlogeConcept
Ordonnancer des ressources partagées avec une machine à étatsConcept
Contrats temporels des requêtes et réponses mémoireConcept
Vérification : conserver un résultat terminéVérification
03Temporisation et débit des pipelines
Stocker la transaction complète aux frontières du pipelineConcept
Latence, débit et intervalle d’initiationConcept
TP : suivre deux étages et les bullesTravaux pratiques
Vérification : la signification de II=1Vérification
04Contrôle de flux ready-valid
Événements d’acceptation et stabilité pendant les blocagesConcept
Concevoir un registre élastique à un emplacementConcept
TP : vérifier 1024 séquences de blocageTravaux pratiques
Vérification : compter une transaction bloquéeVérification
05Limites des FIFO et des aléas
FIFO vide, pleine et transferts simultanésConcept
Dépendances, aléas de ressources et acheminement directConcept
Maintenir le bilan des transactions lors de la purge et de la réinitialisationConcept
Vérification : remplacement dans une FIFO pleineVérification
06Vérification et calculateur en flux
Combiner un tableau de suivi avec des invariants locauxConcept
TP final : FIFO et calculateur en flux à deux étagesTravaux pratiques
Mesurer les performances et revoir la conceptionConcept
Vérification finale : blocages sans perte et vidangeVé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.