Outils CAO pour la génération automatique de parties opératives auto-controlables

Cad tools for automatic generation of self-checking data paths

• Auteur / Autrice : Belgacem Hamdi
• Direction : Michael Nicolaïdis
• Type : Thèse de doctorat
• Discipline(s) : Microélectronique
• Date : Soutenance en 1994
• Etablissement(s) : Grenoble INPG

Mots clés

Mots clés libres

Sciences appliquees

Electronique

Etude theorique

Conception assistee

Circuit integre

Autocontrole

Essai automatique

Controle retenue

Prediction parite

Bibliotheque cellules

Generation automatique test

Cd

Theoretical study

Computer aided design

Integrated circuit

Self control

Automatic test

Automatic test generation

Cd

Résumé

Le travail presente dans cette these concerne l'etude et l'implementation d'outils cao pour la generation des circuits auto-controlables. Une bibliotheque de cellules dediees aux implementations auto-controlables est developpee. Un outil cao de generation automatique de parties operative (po) auto-controlables est realise autour de cette bibliotheque et integre a un outil cao standard en l'occurence cadence. Pour la realisation d'un tel outil, plusieurs approches ont ete envisagees. L'approche qui combinant l'utilisation de cellules standards et de cellules predefinies a ete retenue, car elle offre un meilleur compromis optimisation/flexibilite. L'un des points essentiels de cette these est qu'elle s'appuie sur une implementation efficace de po auto-controlables. Cette implementation repose sur trois techniques essentielles. La premiere consiste a combiner le code double-rail (pour les additionneurs, uals) et le code de parite (pour les autres blocs de la po). Avec cette approche, les convertisseurs de code sont evites. La deuxieme technique consiste en l'utilisation de portes differentielles specifiques qui sont concues de facon a inclure leurs duales. Leur duplication est ainsi evitee. Enfin, ce schema beneficie de l'approche appelee controle de la retenue et prediction de la parite (cr/pp). Cette approche evite la duplication des registres d'entree et des blocs complexes tels que celui de l'anticipation de retenue ou de retenue bondissante. Notre outil permet ainsi, l'implementation de po auto-controlables efficaces avec un minimum d'augmentation materielle. La generation est automatique. Elle offre, toutefois, au concepteur le choix de plusieurs parametres de la po (taille et type de l'ua/ual, nombre de bus de la po, taille de la memoire locale, etc). L'interet de ce travail reside dans le fait que, dans l'etat actuel des choses, les techniques de test en ligne ont un handicap majeur a savoir le temps de conception considerable en l'absence d'outils cao adequats. Les outils du type presentes dans cette these permettent de combler ce manque et de surmonter cet handicap