Brevet FR2816077A1 — publié le 20020503

La présente invention concerne d'une manière générale un système à très haute densité d'intégration (également désigné par le sigle VLSI) et plus particulièrement la reproduction d'un segment logique d'un type de circuit VLSI. D'une manière générale dans le domaine de la conception de circuits VLSI, des agencements d'ordinateurs ou de processeurs peuvent impliquer de grands réseaux complexes de quantités ou de composants de calculs. Alors que de tels circuits en sont à la phase de conception, il est en général souhaitable d'exécuter des tests étendus de tels circuits alors que les agencements sont définis, en utilisant un outil d'agencement automatisé ou un autre mécanisme assisté par ordinateur. Cependant, le test d'un circuit complet à un instant donné peut être difficile. En outre il peut être difficile de localiser de façon précise des défauts de fonctionnement et des zones à faible performance lors de la simulation de l'ensemble d'un agencement étendu et complexe. c'est pourquoi il est en général souhaitable pour réaliser le débogage et l'évaluation de la conception de ces segments de circuit sélectionnés, de diviser des réseaux étendus et complexes en des segments plus petits ou de réaliser une segmentation logique pour faciliter l'analyse et/ou la simulation de fonctionnement de composants. Une solution antérieure affectée de façon commune pour la segmentation logique décrite précédemment est l'utilisation de feuillets, qui implique d'une manière générale l'examen de la connectivité d'un fil, l'identification et l'énumération de dispositifs connectés à ce fil, puis l'énumération d'une terminaison de chaque tel dispositif connecté. Des dispositifs d'identification connectés à un fil incluent d'une manière générale l'énumération des réseaux reliant le dispositif à d'autres composants à l'intérieur d'un circuit. D'une manière générale, les réseaux font partie intégrante de la connectivité pour un microprocesseur en ce que les composants de la plaquette sont en général connectés par l'intermédiaire de tels réseaux, qui incluent en général un conducteur électrique reliant deux composants de circuit supplémentaires. Une fois qu'un réseau ou un trajet conducteur est identifié, une description de ce réseau recense d'une manière générale tous les composants couplés au réseau ainsi que les propriétés géométriques et électriques de tels composants. La solution décrite précédemment fournit d'une manière générale une sortie d'un texte lisible par l'homme et délivré pour être examiné par un utilisateur de l'outil. Lors de l'examen des données fournis par l'outil, l'utilisateur humain peut choisir de pénétrer dans les segments de circuit pour lesquels des données ont été connectées dans un programme de test séparé pour effecteur les modifications de conception de circuit directement sur la base de l'information fournie par l'outil. Par conséquent, il se pose dans la technique le problème que la simulation d'un circuit complet d'un seul coup ne fournit en général pas une information intéressante associée à un segment sélectionné d'un circuit. Un autre problème réside dans le cas où un outil de l'art antérieur servant à délivrer une information à un segment logique ne délivre pas la sortie avec le format d'un langage de conception matérielle (HDL) ou à un outil de conception automatisée, ce qui empêche une simulation de sous-sections logiques sélectionnées d'un circuit globale. La présente invention a trait à un système et à un procédé pour produire un code lisible en machine représentant un segment sélectionné d'un circuit décrit dans un code d'ordinateur, le code produit, qui est lisible en machine, étant de préférence adapté pour être introduit directement dans un outil de conception automatisé, un langage de description matérielle, ou un autre agencement de circuit mécanisé et/ou un mécanisme de simulation. Dans une forme de réalisation préférée, le mécanisme selon l'invention explore par balayage un code d'ordinateur d'un outil de conception automatisé ou une autre transformation automatisée décrivant les modèles de connectivité existant d'un circuit, d'un réseau de traitement ou d'un composant d'un tel réseau, sélectionne ou délimite un segment de ce modèle de connectivité et produit un code décrivant le segment sélectionné convenant pour être introduit directement dans un outil de conception automatisé ou un autre mécanisme de calcul. Ici le terme"délimitation"se réfère d'une manière générale à une action de définition des limites d'un segment de circuit sélectionné pour lequel un code d'ordinateur est produit de préférence. Les termes "feuillets"ou"cellule feuillet"désignent d'une manière générale un élément qui est un bloc de construction de base d'un segment de circuit délimité et à une information décrivant la connectivité d'un ou de plusieurs de ces blocs de construction de base, en incluant de préférence des données associées à des aspects géométriques et/ou à est propriétés électriques d'éléments de circuits et de réseaux ou de trajets de connexion, reliant ces éléments de circuits. On notera qu'un algorithme conformément à une forme de réalisation préférée de la présente invention pourrait également traiter une structure logique d'une cellule feuillet. D'une manière générale, lorsque l'outil de délimitation selon l'invention rencontre un élément de circuit qui est une cellule feuillet, l'outil de délimitation traite cette cellule ou un seul bloc de construction pour construire un segment de circuit délimité. Lorsque l'outil de délimitation rencontre un élément de circuit plus complexe ou se situe à un niveau hiérarchique supérieur à celui d'une cellule feuillet, l'outil de délimitation selon l'invention descend d'une manière générale à un niveau hiérarchique plus faible de cet élément complexe et jusqu'à ce que des éléments de circuits situés au niveau de cellules feuillets soient rencontrés. Ensuite, l'outil de délimitation parcourt de préférence une séquence de cellules feuillets dans l'élément complexe jusqu'à ce trajet atteigne une cellule feuillet située à l'extérieur de l'élément complexe. En général, ces éléments de circuit identifiables par l'outil de limitation selon l'invention en tant que cellules feuilles ne sont pas fixés, mais au lieu de cela peuvent être définis de façon souple par l'utilisateur. Dans une forme de réalisation préférée, le mécanisme de délimitation de circuit selon l'invention est supérieur à la connectivité d'un circuit et examine l'état de différents composants et de différentes connexions, qu'il rencontre dans ces composants et connexions. Des utilisateurs de la solution selon l'invention sont de préférence à même d'établir des algorithmes définissant les règles d'un parcours et de ce fait règlent les paramètres d'un parcours. De telles règles peuvent inclure par exemple la définition de composants et/ou de connexions, au niveau desquels le parcours d'un circuit peut être commencé et/ou être achevé. Dans une forme de réalisation préférée, une fois qu'un sous-circuit ou segment de circuit a été parcouru, et que ces limites ont été clairement identifiées, le segment de circuit peut être décrits dans une forme lisible en machine, de préférence sous une forme compatible avec au moins un langage d'outil de conception automatisé. De cette manière, le cylindre de sortie de l'opération de délimitation ou de l'opération de définition d'un segment de circuit peut être utilisé avantageusement en tant que signal d'entrée dans des opérations ultérieures de calcul associées à un agencement de circuit automatisé. De préférence le signal de sortie lisible en machine produit par le processus de délimitation peut être testé, édité, modifié et/ou optimisé de manière à être mieux adaptés aux demandes d'une application utilisant le segment de circuit sélectionné, et un circuit hors-tout à partir duquel le circuit sélectionné a été délimité. En outre l'opération de délimitation selon l'invention peut être utilisée en liaison avec une interface de programmation d'application (connue aussi sous le sigle API) destinée à permettre à un utilisateur d'exécuter aisément une opération de délimitation. C'est pourquoi un avantage d'une forme de réalisation préférée de la présente invention réside dans le fait qu'une partie sélectionnée d'un circuit décrit dans un outil de conception automatisé ou dans un langage de description matérielle peut être isolée, copiée et reproduite dans un format lisible en machine pour effectuer un test et une évaluation d'une manière isolée à partir du reste du circuit original, ce qui facilite des opérations plus précises de débogage et d'optimisation. Un autre avantage d'une forme de réalisation préférée de la présente invention réside dans le fait qu'une interface de programmation d'application permet un fonctionnement du mécanisme de délimitation selon l'invention, qui utilise des langages de programmation standards à niveau haut. Un autre avantage d'une forme de réalisation de la présente invention réside dans le fait que l'on peut obtenir un rendement amélioré en évitant une nouvelle dérivation redondante de données déjà traitées. Un autre avantage d'une forme de réalisation préférée de la présente invention est que les limites d'un parcours dans un circuit au moyen de l'opération de délimitation selon l'invention peuvent être définies de façon souple par un utilisateur. De façon plus précise l'invention concerne un procédé pour extraire un segment d'un circuit initial décrit dans un format informatisé, caractérisé en ce qu'il comprend les étapes consistant à : déclencher un déplacement dudit circuit initial en un point de départ sélectionné, identifier un élément suivant de circuit le long d'un trajet dudit déplacement déclenché dudit circuit initial, ajouter ledit élément de circuit suivant identifié à un segment de circuit de développement, si ledit élément de circuit suivant identifié est reconnu en tant que cellule feuillet, et produire un code machine représentant ledit élément de circuit suivant identifié ajouté. Selon une autre caractéristique de l'invention, le procédé comprend l'étape consistant à permettre à un utilisateur de définir des éléments de circuit reconnaissables en tant que cellules feuillets. Selon une autre caractéristique de l'invention, le procédé comprend en outre l'étape consistant à répéter lesdites étapes d'identification, d'ajout et de production jusqu'à ce qu'un élément de terminaison soit identifié, ce qui permet de produire un segment de circuit extrait. Selon une autre caractéristique de l'invention, le procédé comprend en outre l'étape consistant à autoriser un utilisateur à définir au moins un type d'élément de circuit dans ledit circuit initial, reconnaissable en tant qu'élément de terminaison. Selon une autre caractéristique de l'invention, le procédé comprend en outre les étapes consistant à : dans le cas où ledit élément de circuit suivant identifié n'est pas reconnu en tant que cellule feuillet, descendre au moins un niveau de la hiérarchie des éléments de circuit pour passer audit élément de circuit suivant identifié, ce qui décale un niveau de la hiérarchie des éléments de circuit à au moins un niveau au-dessous d'un niveau dudit élément de circuit suivant identifié, et déterminer si un élément suivant situé le long dudit trajet dudit déplacement déclenché audit niveau, à au moins un niveau au-dessous dudit niveau dudit élément de circuit suivant identifié, est une cellule feuillet. Selon une autre caractéristique de l'invention, le procédé comprend en outre l'étape consistant à répéter ladite étape d'abaissement et ladite étape de détermination jusqu'à ce qu'un élément identifiable en tant que cellule feuillet soit rencontré. Selon une autre caractéristique de l'invention, le procédé comporte en outre l'étape consistant à : alors que ledit segment de circuit extrait est délimité par ledit point de démarrage sélectionné et ledit élément de terminaison, produire un code machine représentant ledit segment de circuit extrait. Selon une autre caractéristique de l'invention, le procédé comprend en outre l'étape consistant à configurer ledit code machine produit représentant ledit segment de circuit extrait devant être utilisé par un outil d'analyse automatisé de circuit. Selon une autre caractéristique de l'invention, l'étape de production du code machine comprend les étapes consistant à produire des données modélisant une caractéristique géométrique dudit élément de circuit suivant identifié ajouté, et produire des propriétés électriques de modélisation de données dudit élément de circuit suivant identifié ajouté. L'invention a trait en outre à un programme d'ordinateur comportant un support lisible en ordinateur comportant une logique de programme d'ordinateur enregistrée dans ce milieu pour délimiter un segment de circuit dans un circuit existant, caractérisé en ce que le produit de paramètre d'ordinateur comprend : un code pour autoriser un utilisateur à définir des éléments de circuit qualifiés en tant que cellules feuillets pour la construction d'un segment de circuit délimité ; un code pour le parcours de trajets conducteurs à l'intérieur dudit circuit existant ; un code pour établir si un élément de circuit suivant rencontré par ledit code pour le déplacement est une cellule feuillet ; un code pour ajouter ledit élément de circuit suivant audit segment de circuit délimité si ledit élément de circuit suivant est une cellule feuillet ; un code pour produire des données compatibles à un outil à conception automatisée, définissant ledit circuit de segment coupé. Dans ce qui précède on a souligné dans une large mesure les caractéristiques et avantages technique de la présente invention de manière que l'on puisse mieux comprendre la description donnée ci-après. Des spécialistes de la technique noteront que la conception et la forme de réalisation spécifique décrites ici peuvent être aisément utilisées en tant que base pour modifier et concevoir d'autres structures pour la mise en oeuvre de la présente invention, sans sortir du cadre de cette dernière. D'autres caractéristiques et avantages de la présente invention, ressortiront de la description donnée ci-après, prise en référence aux dessins annexés, qui sont données uniquement à titre d'illustration et sans aucun caractère limitatif et sur lesquels : - la figure 1 représente un exemple de circuit dont une partie sélectionnée peut être délimitée conformément à une forme de réalisation préférée de la présente invention ; - la figure 2 représente une partie du circuit représenté sur la figure 1, délimitée en utilisant une forme de réalisation préférée de la présente invention ; - la figure 3 représente une séquence de pas, qui peuvent être utilisés par l'outil de délimitation pour construire un segment de circuit conformément à un mode de mise en oeuvre préféré de la présente invention ; et - la figure 4 représente un dispositif à ordinateur pouvant être adapté pour être utilisé avec la présente invention. La figure 1 représente un exemple de circuit 100, dans lequel une partie sélectionnée peut être délimitée conformément à un mode de mise en oeuvre préféré de la présente invention. Cependant, étant donné que le circuit 100 est conçu, il est en général décrit dans un langage de description matérielle (connu aussi sous le sigle HDL) ou autre ou sinon réalisé selon un format informatisé, avant son fonctionnement au moyen de l'outil de délimitation selon l'invention. Dans une forme de réalisation préférée, l'outil de délimitation selon l'invention accède à un circuit décrit dans un format informatisé, qui peut être mis en oeuvre dans un outil de conception automatisé et inclut une interface de programmation d'application pour une interconnexion avec un utilisateur. De préférence, le signal de sortie d'une opération de délimitation de circuit est la production d'un segment de circuit délimité écrit dans un format informatisé, de préférence dans un format convenant pour une édition, une modification, un débogage et/ou une optimisation de performance au moyen d'une opération d'analyse de circuit assisté par ordinateur, comme par exemple celle rendue disponible par un outil de conception automatisé. Dans un mode de mise en oeuvre préféré, l'outil de délimitation selon l'invention inclut une interface de programmation d'application (API) servant à autoriser une interaction entre l'outil de délimitation et un utilisateur. En employant cette solution, l'utilisateur peut introduire des paramètres de fonctionnement de l'outil de délimitation. avant une opération de délimitation, et l'outil de délimitation pourrait alors être activé pour exécuter une opération complète de délimitation sans entrée supplémentaire substantielle de la part de l'utilisateur. Sinon, l'utilisateur pourrait exécuter une interaction sensiblement continue avec l'outil de délimitation, en utilisant l'interface de programmation d'application au moyen d'une opération de délimitation pour fournir des choix concernant une entrée en cours, l'outil de délimitation pouvant être confronté, au cours d'une opération de délimitation, comme par exemple une sélection de directions préférées de parcours de l'ensemble d'un circuit. Dans un mode de mise en oeuvre préféré, l'outil de délimitation selon l'invention peut, grâce à son interface de programmation d'application, recevoir une information de la part d'un utilisateur définissant des éléments de circuits, qu'il qualifie comme étant des "cellules feuillets"ou des éléments qui sont reconnus en tant que blocs de construction pour le segment de circuit délimité. L'interface de programmation d'application est également de préférence à même de recevoir les critères de définition introduits par l'utilisateur pour l'établissement de points de départ et de terminaison ou d'éléments de départ et de terminaison, dans un circuit global existant, dans lequel l'outil de délimitation démarre et achève respectivement le parcours dans le circuit existant. Dans un mode de mise en oeuvre préféré, l'outil de délimitation selon l'invention part d'un segment de circuit devant être délimité au niveau du point marqué"entrée" 105, qui réalise le raccordement au réseau à 125. L'outil de délimitation selon l'invention parcourt de préférence le circuit 100 et s'arrête lorsqu'un élément de terminaison de circuit est rencontré. Dans le circuit 100 de la figure 1, le circuit de verrouillage 120 travaille de préférence en tant qu'élément de terminaison de segment. Par conséquent, l'outil de délimitation selon l'invention parcourt de préférence le circuit, de façon appropriée en enregistrant les caractéristiques du circuit jusqu'à ce que le circuit de verrouillage 120 soit rencontré. On notera que d'autres éléments pourraient être définis en tant qu'éléments de terminaison de circuit soit par un utilisateur utilisant une interface de programmation d'application, soit par des moyens automatisés, et l'ensemble de telles variantes sont incluses dans le cadre de la présente invention. Dans une forme de réalisation préférée, le mécanisme selon l'invention se déplace le long d'un réseau ou d'un conducteur A 125 et en examine la connectivité. Une connexion avec un inverseur 1 106 est de préférence identifiée. L'outil de délimitation exécute de préférence un code pour déterminer si l'élément rencontré dans ce cas l'inverseur 1 106 est un élément qui définit une limite ou l'extrémité du segment de circuit délimité ou un élément, qui doit être parcouru. L'outil de délimitation identifie également de préférence l'inverseur 1 106 en tant que cellule feuillet ou bloc de construction du segment de circuit délimité. Dans ce cas, l'outil de délimitation établit de préférence que l'inverseur 1 106 doit être parcouru. Par conséquent, l'inverseur 1 106 est de préférence ajouté au segment de circuit qui est construit par l'outil. Dans un mode de mise en oeuvre préféré, l'outil de délimitation parcourt l'inverseur 106 en examinant tous ces ports et en déterminant dans quelle direction il faut procéder. Dans ce cas, l'inverseur 106 possède uniquement deux ports, A 105 et"A-barre" (non représentés) représentant l'inverse logique de A 105, sur le côté droit de l'inverseur 106. L'outil de délimitation décide de préférence de ne pas effectuer de parcours dans la direction de A 105 étant donné que le parcours dans l'inverseur 106 est parti de cet endroit. Par conséquent l'outil de délimitation se déplace de préférence en direction du côté droit de l'inverseur, vers le réseau conducteur A 1 126. Cette logique est possible étant donné que l'outil de délimitation selon l'invention est de préférence à même de rappeler l'historique de son parcours ou déplacement et d'éviter de ce fait d'effectuer un parcours redondant passant par un port, par lequel il est déjà passé. En continuant avec cet exemple, l'outil selon l'invention parcourt le réseau A 1 126, qui fournit deux trajets possibles, l'un vers l'inverseur 2 108 et l'autre vers l'inverseur 3 107. Dans ce cas, l'outil de délimitation pourrait suivre l'un ou l'autre des deux trajets disponibles. En tant que choix arbitraire, dans la discussion de cet exemple, on a considéré le cas où le parcours s'effectue en direction de l'inverseur 2 108. Dans le fonctionnement réel, l'outil de délimitation incite l'utilisateur à effectuer un choix entre plusieurs alternatives valables. Sinon, l'outil de délimitation pourrait sélectionner l'une des options disponibles selon un algorithme dans l'outil de délimitation ou consulter des instructions envoyées précédemment à l'outil de délimitation soit par un utilisateur soit par un dispositif automatisé. En poursuivant avec cet exemple, l'outil de délimitation parcourt de préférence le réseau A2 127, qui aboutit au bloc hiérarchique 2A4 101. Le code de fonctionnement de l'outil de délimitation contrôle les conditions correspondant à une terminaison de segment de circuit et détermine de préférence que le bloc 2A4 101 n'est pas un élément de terminaison de circuit. De même l'outil de délimitation détermine de préférence que le bloc 2A4 101 n'est pas une cellule feuillet et par conséquent descend à un niveau de la hiérarchie des éléments de circuits dans le bloc 2A4 101. Par conséquent l'outil de délimitation passe de préférence au bloc 2A4 101 et au bloc A4-1 102, qui est un constituant du bloc 2A4 101. L'outil de délimitation identifie de préférence le fait que le bloc A4-1 n'est également pas une cellule feuillet et par conséquent descend un autre niveau de hiérarchie pour identifier une cellule feuillet. D'une manière générale, le processus de descente de niveaux de hiérarchie pour identifier une cellule feuillet peut se poursuivre jusqu'à ce qu'une cellule feuillet soit identifiée, auquel cas l'outil de délimitation ajoute de préférence la cellule feuillet identifiée, puis continue à parcourir le circuit au niveau de hiérarchie auquel il est descendu. En continuant avec l'exemple, l'outil de délimitation parcourt ensuite de préférence le réseau A2 127 jusqu'à la porte ET 110. Le code de fonctionnement de l'outil de délimitation identifie la porte ET 110 en tant que cellule feuillet ou élément devant être parcouru et ajouté au segment de circuit délimité, et par conséquent examine de préférence la connectivité de la porte 110. La porte ET 110 inclut deux ports d'entrée 110-1 et 110-2 et un port de sortie 110-3. Etant donné que le processus de parcours progresse en général"en aval"ou vers l'avant à l'intérieur du circuit 100, plutôt que d'une manière rétrograde, la sortie 110-3 est le seul port intéressant. Par conséquent, l'outil de délimitation se déplace de préférence en passant par la sortie 110-3, circule le long du réseau Xl 128 en direction de la porte ET 111. Comme c'était le cas avec la porte ET 110, l'outil de délimitation identifie la porte ET 111 d'une cellule feuille et passe au port de sortie 111-3 et le long du réseau Yl 129. L'outil de délimitation détermine de préférence de façon précise le fait qu'aucune des portes ET 110 et 111 n'est un élément de terminaison, et par conséquent poursuit son parcours dans le circuit 100. En continuant avec l'exemple, l'outil de délimitation se déplace de préférence le long du réseau Yl 129 jusqu'au réseau B 112 et le long du réseau B 112 jusqu'à bloc 104. De préférence le code de fonctionnement de l'outil de délimitation établit que le bloc 104 n'est pas une cellule feuillet. Par conséquent, l'outil de délimitation ne traite pas le bloc 104 en tant qu'élément unique, mais plutôt"descend"au bloc 104. Autrement dit l'outil de délimitation de préférence analyse et parcourt les composants internes du bloc 104 plutôt que de traiter le bloc 104 en tant qu'unité opérationnelle unique du segment de circuit qui est délimité comme étant hors du circuit complet 100. En continuant avec cet exemple, l'outil de délimitation parcourt de préférence le réseau B-112 jusqu'au réseau 117, qui rencontre le bloc WRAP-OR 2 130. Le code opérationnel de l'outil de délimitation conclut de préférence que le bloc WRAP-OR 130 n'est pas une cellule de feuille ni un élément de segment de circuit délimité de base et par conséquent descend dans le bloc WRAP-OR 2 130. L'outil de délimitation se déplace alors de préférence le long du réseau 117 jusqu'à la porte OR 2 118. D'une manière compatible avec la direction aval du présent parcours, l'outil de délimitation passe de préférence à la sortie de la porte OR 2 118 qui conduit au réseau D 119. L'outil de délimitation selon l'invention détermine de préférence de façon précise que ni le bloc 104, ni l'un des éléments qu'il contient ne sont des éléments de terminaison. En continuant avec l'exemple, l'outil de délimitation parcourt le réseau D 119 jusqu'à l'élément de verrouillage 120. Le code de l'outil de délimitation identifie alors de préférence le circuit de verrouillage 120 comme étant une cellule feuillet et également en tant qu'élément de terminaison pour le présent parcours. Par conséquent le circuit de verrouillage 120 est de préférence inclus dans le segment de circuit délimité constitué par le présent parcours, et de préférence le parcours est terminé lorsque le circuit de verrouillage 120 est atteint. Lors du parcours décrit en référence à la figure 1, l'outil de délimitation est dirigé de manière à achever le parcours du circuit 100 lorsqu'il rencontre un élément de verrouillage, en considérant ainsi l'élément de verrouillage en tant qu'élément de terminaison. On notera que le mécanisme selon l'invention n'est pas limité à la désignation d'un élément de verrouillage ou de n'importe quel autre élément individuel en tant qu'élément de terminaison de parcours. D'autres éléments de circuit, qu'il s'agisse de cellules feuillets ou non peuvent être désignés en tant qu'éléments de terminaison de parcours, et toutes ces variantes sont incluses dans le cadre de la présente invention. La figure 2 représente un segment de circuit 200 qui représente une partie du circuit représenté sur la figure 1 délimité en utilisant une forme de réalisation préférée de la présente invention. La séquence d'éléments représentés sur la figure 3 correspond d'une manière générale aux étapes de délimitation décrites en référence à la figure 1. De gauche à droite, les éléments de circuits dans le segment délimité sont le réseau A 125, l'inverseur 1 106, le réseau A 126, l'inverseur 108, le réseau A2 127, la porte ET 110, le réseau Xl 128, la porte ET 111, le réseau B 112, la porte OU 118, le réseau D 119, et le circuit de verrouillage 120. La figure 3 représente une séquence de pas 300, qui peuvent être utilisés par l'outil de délimitation pour construire un segment de circuit conformément à une forme de réalisation préférée de la présente invention. Dans une forme de réalisation préférée, lors du pas 301, l'outil de délimitation sélectionne un point de départ dans un circuit complet (qui était le circuit 100 dans le cas de la figure 1) pour construire un segment de circuit de délimitation. Lors du pas 302, l'outil de délimitation se déplace de préférence le long d'un réseau depuis le point de départ jusqu'à un premier élément de circuit. Lors du pas 303, l'outil de délimitation détermine de préférence si l'élément rencontré est une cellule feuillet ou non. Si l'élément n'est pas une cellule feuillet, l'outil de délimitation s'abaisse de préférence, en 304, à un niveau de hiérarchie du circuit pour atteindre ce premier élément pour identifier un élément qui est un cellule feuillet. De préférence, l'outil de délimitation continue à descendre les niveaux de la hiérarchie et contrôle l'état d'une cellule feuillet jusqu'à ce qu'une cellule feuillet soit identifiée, par l'intermédiaire de la boucle créée entre les boucles 303 et 304. Dans une forme de réalisation préférée, dans laquelle l'élément rencontré est une cellule feuillet dans le bloc de décision 303, l'outil de délimitation ajoute de préférence l'élément rencontré à un segment de circuit délimité, qui est constitué par l'outil de délimitation. Lors du pas 306, l'outil de délimitation détermine de préférence si l'élément ajouté au segment de circuit délimité est un élément de terminaison de segment ou autrement dit, si l'élément représente une condition de terminaison de segment. Si l'élément ajouté est un élément de terminaison de segment, l'outil de délimitation termine de préférence la construction du segment de circuit lors du pas 307. Si l'élément ajouté n'est pas une condition de terminaison, l'outil de délimitation passe de préférence au réseau ou au conducteur sortant de l'élément de circuit ajouté, vers l'aval. D'un manière générale, le traitement dans une direction aval signifie la poursuite d'un parcours de déplacement dans un circuit complet de manière à éviter une direction d'inversion. Cette solution empêche d'une manière générale que l'outil de délimitation effectue un double cheminement sur lui-même et ajoute de façon redondante plus d'une fois, le même élément au segment de circuit délimité. Après l'étape 308, l'outil de délimitation continue de préférence à parcourir un circuit d'ensemble lors du pas 302. Dans une forme de réalisation préférée, les éléments, qui sont qualifiés de"cellules feuillets" peuvent être définis par un utilisateur qui coopère avec une interface de programmation d'application associée à l'outil de délimitation. De cette manière, un utilisateur peut de préférence définir les niveaux hiérarchiques d'éléments que l'utilisateur désirerait voir inclut dans un segment de circuit délimités final. Bien que sur la figure 2 on ait représenté une section d'éléments qui sont qualifiés de cellules feuillets, une pluralité d'éléments additionnels, incluant des éléments situés à des niveaux inférieur et supérieur de la hiérarchie du circuit peuvent être définies comme des cellules feuillets, et la totalité de telles variantes sont incluses dans le cadre de la présente invention. De façon similaire l'utilisateur est de préférence à même d'identifier un ou plusieurs éléments qualifiés d'éléments de terminaison pour la construction d'un segment de circuit délimité. Bien que le circuit de verrouillage 120 (figure 1) soit défini en tant qu'élément de terminaison dans le circuit 100 (figure 1), de nombreux autres éléments peuvent être définis en tant qu'éléments de terminaison et de telles variantes sont incluses dans le cadre de la présente invention. La figure 4 représente un système d'ordinateur 400 pouvant être adapté pour être utilisé avec une forme de réalisation préférée de la présente invention. L'unité centrale de traitement (CPU) 401 est couplée au bus 402 du système. L'unité centrale de traitement 401 peut être constituée par n'importe quelle unité central CPU à usage général, comme par exemple HP PA-8200. Cependant la présente invention n'est pas limitée par l'architecture de l'unité centrale CPU 401 tant que l'unité centrale CPU 401 supporte les opérations selon l'invention, comme décrit ici. Le bus 402 est couplé à une mémoire à accès direct (RAM) 403 qui peut être une mémoire SRAM, une mémoire DRAM ou une mémoire SDRAM. La mémoire ROM 404 est également couplée au bus 402, cette mémoire pouvant être une mémoire PROM, EPROM, EEPROM. La mémoire RAM 403 et la mémoire ROM 404 conservent les données d'utilisateur et du système et des programmes comme cela est bien connu dans la technique. Le bus 402 est également couplé à un adaptateur d'entrée/sortie (I/O) 405, à une carte 411 d'adaptateur de communication, à un adaptateur 408 d'interface d'utilisateur, et à un adaptateur d'affichage 409. L'adaptateur I/O 405 se connecte sur des dispositifs de mémoire 406 comme par exemple une ou plusieurs des unités comprenant une unité de disque dur, une unité de disque compact, une unité de disquette, une unité d'entraînement de bande, au système d'ordinateur. L'adaptateur de communication 411 est adapté pour coupler le système d'ordinateur 400 à un réseau 412, qui peut être un ou plusieurs de réseaux tels qu'un réseau local (LAN), un réseau étendu (WAN), un réseau Ethernet ou le réseau Internet. L'adaptateur 408 de l'interface d'utilisateur couple des dispositifs d'entrée d'utilisateur tels que le clavier 413 et le dispositif de pointage 407 au système d'ordinateur 400. L'adaptateur d'affichage 409 est commandé par l'unité centrale CPU 401 de manière à commander le dispositif d'affichage dans le dispositif d'affichage 410. Bien que la présente invention et ses avantages aient été décrits de façon détaillée, on comprendra que de nombreux changements, substitutions et modifications peuvent y être apportés sans sortir du cadre de l'invention. REVENDICATIONS 1. Procédé pour extraire un segment (200) d'un circuit initial décrit dans un format informatisé, caractérisé en ce qu'il comprend les étapes consistant à : déclencher un déplacement dudit circuit initial en un point de départ sélectionné (301), identifier un élément suivant de circuit le long d'un trajet dudit déplacement déclenché dudit circuit initial (302), ajouter (305) ledit élément de circuit suivant identifié à un segment de circuit de développement, si ledit élément de circuit suivant identifié est reconnu en tant que cellule feuillet, et produire un code machine représentant ledit élément de circuit suivant identifié ajouté. 2. Procédé selon la revendication 1, caractérisé en ce qu'il comprend l'étape consistant à permettre à un utilisateur de définir des éléments de circuit reconnaissables en tant que cellules feuillets. 3. Procédé selon la revendication 1, caractérisé en ce qu'il comprend en outre l'étape consistant à répéter lesdites étapes d'identification (302), d'ajout (305) et de production jusqu'à ce qu'un élément de terminaison soit identifié (306), ce qui permet de produire un segment de circuit extrait (200). 4. Procédé selon la revendication 1, caractérisé en ce qu'il comprend en outre l'étape consistant à autoriser un utilisateur à définir au moins un type d'élément de circuit dans ledit circuit initial, reconnaissable en tant qu'élément de terminaison (120). 5. Procédé selon la revendication 1, caractérisé en ce qu'il comprend en outre les étapes consistant à : dans le cas où ledit élément de circuit suivant identifié n'est pas reconnu en tant que cellule feuillet, descend au moins un niveau de la hiérarchie des éléments de circuit pour passer audit élément de circuit suivant identifié, ce qui décale un niveau de la hiérarchie des éléments de circuit (320) à au moins un niveau au-dessous d'un niveau dudit élément de circuit suivant identifié, et déterminer si un élément suivant situé le long dudit trajet dudit déplacement déclenché audit niveau, à au moins un niveau au-dessous dudit niveau dudit élément de circuit suivant identifié, est une cellule feuillet (303). 6. Procédé selon la revendication 5, caractérisé en ce qu'il comprend en outre l'étape consistant à répéter ladite étape d'abaissement (304) et ladite étape de détermination (303) jusqu'à ce qu'un élément identifiable en tant que cellule feuillet soit rencontré. 7. Procédé selon la revendication 3, caractérisé en ce qu'il comporte en outre l'étape consistant à : alors que ledit segment de circuit extrait est délimité par ledit point de démarrage sélectionné (125) et ledit élément de terminaison (120), produire un code machine représentant ledit segment de circuit extrait. 8. Procédé selon la revendication 7, comprenant en outre l'étape consistant à configurer ledit code machine produit représentant ledit segment de circuit extrait (200) devant être utilisé par un outil d'analyse automatisé de circuit. 9. Procédé (300) selon la revendication 1, caractérisé en ce que l'étape de production du code machine comprend les étapes consistant à produire des données modélisant une caractéristique géométrique dudit élément de circuit suivant identifié ajouté, et produire des propriétés électriques de modélisation de données dudit élément de circuit suivant identifié ajouté. 10. Programme d'ordinateur comportant un support lisible en ordinateur comportant une logique de programme d'ordinateur enregistrée dans ce milieu pour délimiter un segment de circuit dans un circuit existant, caractérisé en ce que le programme d'ordinateur comprend : un code pour autoriser un utilisateur à définir des éléments de circuit qualifiés en tant que cellules feuillets pour la construction d'un segment de circuit délimité (200) ; un code pour le parcours de trajets conducteurs à l'intérieur dudit circuit existant (100) ; un code pour établir si un élément de circuit suivant rencontré par ledit code pour le déplacement est une cellule feuillet (303) ; un code pour ajouter ledit élément de circuit suivant audit segment de circuit délimité si ledit élément de circuit suivant est une cellule feuillet (305) ; un code pour produire des données compatibles à un outil à conception automatisée, définissant ledit circuit de segment coupé.