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