Abstract FR:

La precision de l'analyse temporelle statique est obtenue par une modelisation fine des temps de propagation dans les circuits cmos. Cette modelisation doit prendre en compte les caracteristiques statiques et dynamiques des transistors mos, les effets de front, les conflits et les effets de couplage. Une methode est presentee pour la prise en compte de ces phenomenes, dans une approche generale capable de traiter la diversite des montages rencontres dans les circuits cmos. Un analyseur temporel statique, tas, est decrit. Ce logiciel est capable de traiter des circuits contenant des centaines de milliers de transistors dans des temps cpu qui se mesurent en secondes, fournissant des resultats proches a moins de 10 pour cent pres des simulateurs electriques