LIRMM, MONTPELLIER, FRANCE FTFC 2003 Définition d’une métrique d’insertion de buffers X. Michel, A. Verle N. Azémard, P. Maurine, D. Auvergne Paris, France.

Slides:



Advertisements
Présentations similaires
Soutenance du stage de DEA.
Advertisements

Révisions Logique séquentielle
Comparaison des méthodes déterministes et Monte Carlo
PLAN I / OBJECTIFS II/ OBSERVATIONS FAITES LORS DE LA PRECEDENTE SEANCE III/CARACTERISATION DES ANTENNES IV/CONCLUSION V/PERSPECTIVES.
10/31/02 Leïla Merghem - LIP6 Une approche Multi-Agents pour la Simulation de Réseaux de Télécommunications Leïla Merghem (LIP 6) Dominique Gaïti (LIP.
Test de Systèmes Intégrés Digitaux et Mixtes
LIRMM 1 Journée Deuxièmes années Département Microélectronique LIRMM.
Métaheuristiques pour l’optimisation combinatoire
GDR ONDES – PESSAC – Novembre 2007
Equipe optimisation TempoSoft
Algorithmique du Network Calculus Participants : Laurent Jouhet et Eric Thierry Le Network CalculusLes objetsLes opérations Etat de lartObjectifs Premiers.
A Pyramid Approach to Subpixel Registration Based on Intensity
Flow de conception (4h)-demo
Notion d'asservissement
El-Djillali TALBI Doctorant systèmes industriels
Sylvain Mondon Météo-France
Application à la méthode des
Sélection automatique d’index et de vues matérialisées
Plan Évolution Système On Chip Difficultés de la testabilité des SOCs
Travaux Initiative Personnels Encadrés
ADR Active and Dynamic Routing. Plan Introduction au routage Les réseaux actifs Les agents Mise à jour des matrices de routage Architecture du routage.
DEA Intelligence Artificielle et Optimisation Combinatoire
Journée thématique du GDR IFS « Réduction de modèle en IFS » ENSAM – Jeudi 18 mai 2006 Validation de l’approche de la réduction a priori - POD sur l'équation.
Chapitre 2 : La fonction de transfert
Démarche de spécification en cours de conception
1 TAL : une bibliothèque de cellules pour le design de circuits asynchrones QDI P. Maurine, J. B. Rigaud, F. Bouesse, G. Sicard, M. Renaudin.
1 1 ST Crolles 2 Université Montpellier II France FTFC 2003 Représentation Unifiée des Performances Temporelles dune Bibliothèque de Cellules Standards.
Étude d’un système technique industriel
C6E2 Positionnement de C6E2 par rapport à SimPA2 et Modelica
Formation en alternance
Universté de la Manouba
Modélisation de l’impact d’un réservoir rempli de fluide par la méthode SPH Directeur de thèse : Alain Combescure ( Lamcos )
Plan Introduction DFT d’un additionneur asynchrone
DESIGN D’ÉCHANGEURS STRUCTURÉS, CFD ET MILIEUX POREUX
Logique séquentielle.
La Gestion de Projet.
L’adaptativité pour un solveur de l’équation de Vlasov
Conditions aux Frontières Ouvertes
* ISEP,** Berkeley Wireless Research Center, UCB, FTFC Mai 2003 Paris 1 Modélisation du délai d’une porte CMOS SOI en faible inversion Alexandre VALENTIAN.
Un capteur de vision CMOS pour la sécurité automobile.
Gei 431 Architecture des ordinateurs II – Frédéric Mailhot Synthèse logique: Quelques algorithmes et techniques La synthèse logique consiste en un très.
INF3500 : Conception et implémentation de systèmes numériques Pierre Langlois Implémentation d’un.
Université des Sciences et Technologies Houari Boumediene
Jeu de Librairies Virtuelles « DLL » Windows pour la réalisation de programmes informatiques.
MICROLOR Le savoir partagé
INF3500 : Conception et implémentation de systèmes numériques Pierre Langlois Le problème du déphasage.
Modélisation VHDL-AMS haut niveau de l’activité en courant des mémoires en vue de l'optimisation de la compatibilité électromagnétique Richard PERDRIAU*/**
Les systèmes mono-puce
Journées d'études Faible Tension Faible Consommation 14, 15, 16 mai Gwenolé CORRE, Nathalie JULIEN, Eric SENN, Eric MARTIN LESTER, Université de.
Nouvelle Topologie de Filtre Récursif Différentiel Passe-Bande sur Silicium Accordable Autour de 2 GHz S. DARFEUILLE1, B. BARELAUD1, L. BILLONNET1, B.
Application à la Radio Logicielle Restreinte
Chapitre 5 Test de circuits séquentiels
Université Pierre et Marie Curie Laboratoire d’Informatique de Paris VI Département ASIM Analyse et résultats sur le dimensionnement des mémoires pour.
Recherches locales et méta-heuristiques
INTRODUCTION.
Laboratoire Intégration des Architectures Numériques (IAN)
Optimisation pour la Conception de Systèmes Embarqués
Soutenance de Stage DEA / DESS
INF3500 : Conception et implémentation de systèmes numériques Pierre Langlois Flot de conception de.
ELE6306 : Test de systèmes électroniques Adaptation d’une interface de communication pour implants en vue du test Laurent Aubray, Dominique Pâquet-Ferron.
1/16 Chapitre 3: Représentation des systèmes par la notion de variables d’état Contenu du chapitre 3.1. Introduction 3.2. Les variables d’état d’un système.
Algorithmes génétiques en optimisation combinatoire
2 Tracks Unified Process
ELE6306 : Test de systèmes électroniques Test intégré et Modèle de faute de délai Etudiante : S. BENCHIKH Professeur : A. Khouas Département de génie électrique.
Intégration des Tableaux Multidimensionnels en Pig pour
Sensibilisation aux projets logiciels
GdR MoMaS Novembre 2003 Conditions d’interface optimales algébriques pour la vibro-élasticité. François-Xavier Roux (ONERA) Laurent Sériès (ONERA) Yacine.
Entretiens Louis le Grand 29 et 30 août Entretiens Louis le Grand – 29 et 30 Août 2005 Étude de cas CS  Jacques DUYSENS (CS Communication & Systèmes)
Algorithmes d’analyse spectrale en spectrométrie gamma embarquée
Transcription de la présentation:

LIRMM, MONTPELLIER, FRANCE FTFC 2003 Définition d’une métrique d’insertion de buffers X. Michel, A. Verle N. Azémard, P. Maurine, D. Auvergne Paris, France Mai 2003

OBJECTIFS  Définition d’une métrique orientée conception pour l’optimisation  Choix entre  Quelle est la méthode la plus efficace ? Quand appliquer une de ces alternatives ? Dimensionnement des transistors Insertion 1 inverseur + transformation logique Insertion 2 inverseurs

Description niveau porte (SPICE netlist) Extraction capacités (CADENCE) Layout (CADENCE) POPS (LIRMM) : Performance Optimization by Path Selection Optimisation de performance - Vitesse - Puissance - Compromis vitesse/puissance ENVIRONNEMENT Algorithme de recherche de chemins IT Sensibilisation statique

Evolution des performances en vitesse des chemins d’un circuit Délai Gain en Vitesse Gain en Surface Chemins longs Chemins courts Nbre de chemins Circuit Standard EVOLUTION DES PERFORMANCES Contrainte en délai MINIMUM Circuit Idéal

 Respect d’une contrainte  Modèle de délai  Conditions d’insertion de buffers  Validations  Applications PLAN  Conclusion

Période d’horloge imposée par les flip flop Contrainte sur entrée et sortie des blocks combinatoires DFF Circuit combinatoire horloge RESPECT D’UNE CONTRAINTE

 Dimensionnement des transistors  Insertion de buffer Simulation du circuit (HSPICE) Outils d’analyse de chemins critiques (Synopsys, Magma) Transformation logique Arbres de buffers Différentes alternatives RESPECT D’UNE CONTRAINTE

 Solutions Dimensionnement : coûteux en surface Alternatives de bufferisation : efficace pour des charges importantes Différentes alternatives  Efficace pour accélérer des chemins Sensibilité des portes au dimensionnement et aux alternatives de bufferisation Etude du Fanout RESPECT D’UNE CONTRAINTE

P N CLCL ININ T HLs CL : capacité de sortie CM : capacité de couplage Tstep : réponse indicielle MODELE DE DELAI

Portes 0.25  m Facteur de réduction Inverseur k=1 Nand2 k=1 Nand3 k=1 Nor2 k=1 Nor3 k=1 S HL S LH 2.3 k : facteur de configuration MODELE DE DELAI Inverseur k=2 Inverseur k=3

Choix d’une méthode d’optimisation ii-1 i Dimensionnement local ou insertion de buffers CONDITIONS D’INSERTION DE BUFFERS

Bufferisation si Insertion 1 INV si Définition d’une métrique CL i i i I II III Dimensionnement si CONDITIONS D’INSERTION DE BUFFERS

Sensibilité d’une porte à son fanout CONDITIONS D’INSERTION DE BUFFERS

 Dimensionnement porte (i) inchangée  Délai de propagation identiques et minima pour la nouvelle structure  Alternative à surface la plus faible VALIDATIONS

OPTIMISATION DU FANOUT P = Cpar Cin k : facteur de configuration

Protocole d’accélération Conditions Initiales  Facteur de charge limite d’une porte : F olim. Protocole  Recherche chemin critique  Dimensionnement porte si F o < F olim  Sinon Insertion de buffer VALIDATIONS

APPLICATION Avant Insertion de buffer Après Insertion de buffer Contrainte en délai Tc (ns) Surface initiale  W (  m) Délai initial (ns) Surface à Tc (  m) Surface à Tc (  m) C18 3 portes FAPD 8 portes FPD 13 portes

Détermination et définition de métrique pour la sélection d’alternatives d’accélération Evaluation des nœuds critiques Sensibilité d’une porte à sa charge Sélection entre dimensionnement et bufferisation Aucune itération Respect de la contrainte avec coût réduit en surface/puissance CONCLUSION

PERSPECTIVES  Intégration de cette métrique dans POPS  Application à des circuits importants  Caractérisation de librairie  Application à la sélection de cellules au niveau mapping