Altifigence Academy
← Mon apprentissage

Conception RTL : réseaux systoliques

Plan du cours

Plan du cours
01Matrices et contrats arithmétiques
Associer les produits scalaires aux éléments de traitementConcept
Produits signés et largeur d’accumulateurConcept
Politique de sortie en virgule fixeConcept
Vérifier le contrat arithmétiqueVérification
02Éléments de traitement et jetons valides
Le contrat à un front montantConcept
TP : élément de traitement MAC signéTravaux pratiques
Drapeaux de validité, étiquettes et purgeConcept
Vérifier la commande de l’élément de traitementVérification
03Réseaux et ordonnancement des entrées
Flux à sorties stationnaires et autres flux de donnéesConcept
TP : réseau 2×2 à entrées décaléesTravaux pratiques
Passer à N×N et compter les fronts de finConcept
Vérifier l’ordonnancement et la finVérification
04Découpage en tuiles, bande passante et contrôle de flux
Découpage en tuiles et remplissage aux limitesConcept
Bande passante et utilisation utileConcept
TP : contre-pression et réinitialisationTravaux pratiques
Vérifier remplissage et bande passanteVérification
05Vérification et projet final
Tableaux de suivi et invariantsConcept
Concevoir des tests signés et aux limitesConcept
Projet final : modèle de vérification N×N à tuilesTravaux pratiques
Revue d’intégration RTL et extensionsConcept

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.