Procédé (1) mis en œuvre par ordinateur de conception automatisée du pipeline d’un circuit logique programmable, de type FPGA, comprenant une pluralité d’opérateurs logiques et une pluralité de bascules formant registres, le procédé (1) comprenant des étapes de : Acquisition (10) d’une représentation numérique (20) d’un circuit de pipeline cible, Etablissement (11) d’un réseau de Petri (21) représentatif dudit pipeline cible, dans lequel le réseau de Petri (21) est défini de sorte que chaque transition (op i ) correspond à un opérateur dudit circuit logique programmable, chaque place (p i ) correspond à un signal et est associée à un poids prédéterminé, et chaque jeton correspond à une donnée traitée par le circuit logique programmable ; chaque transition étant en outre associée à une valeur de temporisation ; ledit réseau de Petri comprenant en outre un compteur incrémental, lesdites transitions (211, 221) étant associées à des valeurs de temporisation retardable ou non retardable ; une transition (221) étant tirée lorsque la valeur du compteur incrément est égale à la valeur de temporisation associée à ladite transition, lorsque ladite valeur de temporisation est non retardable ; et une transition (211) étant tirée lorsque la valeur du compteur incrément est au moins égale à la valeur de temporisation associée à ladite transition, lorsque ladite valeur de temporisation est retardable ; ledit réseau de Petri (21) étant en outre associé à un événement de réinitialisation, remettant à zéro ledit compteur incrémental lorsqu’il est déclenché ; ledit événement de réinitialisation pouvant être déclenché dans un intervalle de temps prédéterminé, Une étape d’exploration (12) du réseau de Petri, conformée pour déterminer une configuration optimisée, par exploration de différentes exécutions du réseau de Petri, correspondant chacune à une combinaison de différents instants de déclenchements possibles de l’événement de réinitialisation et des différents instants de tirage possibles pour chaque transition retardable; et Une étape de sélection (13) d’une exécution de réseau de Petri pour lequel les instants de tirage des transitions retardables permettent la minimisation d’une fonction coût prédéterminée, chaque événement de réinitialisation déclenché définissant la position des registres sur le circuit cible en fonction de la position des jetons à l’instant de déclenchement ; caractérisé en ce qu’avant la mise en œuvre de l’étape d’exploration, on définit des portions à plier dudit pipeline cible ; et l’étape d’exploration est guidée par des conditions logiques : d’une part l’exclusion mutuelle de données dans des places à plier, et un même positionnement des registres pour les portions à plier. Procédé selon la revendication 1, caractérisé en ce que la condition logique vérifiant le positionnement des registres pour les portions à plier est fonction du nombre de jetons cumulés dans chaque place de portion à plier lors de chaque déclenchement d’événement de réinitialisation. Procédé selon la revendication 1 ou 2, caractérisé en ce que l’étape d’exploration est guidée par les conditions logiques exprimées selon des propriétés de logique temporelle arborescente. Procédé selon la revendication 3, caractérisé en ce que l’étape d’exploration est réalisée par parcours de branches et d’embranchements d’exploration successifs d’états du réseau de Petri, chaque branche d’un embranchement étant supprimée lorsque ladite branche ne remplit pas lesdites conditions logiques. Programme d’ordinateur comprenant des instructions de code de programme pour l’exécution des étapes du procédé selon l’une quelconque des revendications 1 à 4 lorsque ledit programme est exécuté sur un ordinateur. Produit programme d’ordinateur comprenant des instructions de code de programme enregistré sur un support utilisable dans un ordinateur adapté effectuer les étapes du procédé selon l’une quelconque des revendications 1 à 4.