Constant pins are determined in a combinational circuit by associating an input of a combinational circuit with a first variable and a second variable, with the second variable being the complement of the first variable. For a first logical cell interconnected to such input, a first mathematical representation and a second mathematical representation are computed. The first mathematical representation is a function of the operation of the first logical cell and a function of the first variable, and the second mathematical representation is a function of the operation of the first logical cell and a function of the second variable. A determination is then made as to whether one of the first and second mathematical representations is equal to a constant.

Des goupilles constantes sont déterminées dans un circuit combinationnel en associant une entrée d'un circuit combinationnel à une première variable variable et deuxième, avec deuxième être variable le complément de la première variable. Pour une première cellule logique reliée ensemble à une telle entrée, une première représentation mathématique et une deuxième représentation mathématique sont calculées. La première représentation mathématique est une fonction de l'opération de la première cellule logique et une fonction de la première variable, et la deuxième représentation mathématique est une fonction de l'opération de la première cellule logique et une fonction de la deuxième variable. Une détermination est alors faite si une des premières et deuxièmes représentations mathématiques est égale à une constante.