公开(公告)号：FR2922386B1

公开(公告)日：2013-08-30

申请号：FR0758346

申请日：2007-10-16

Applicant: ST MICROELECTRONICS SA

Inventor： LASBOUYGUES BENOIT ,  CLERC SYLVAIN ,  ARTIERI ALAIN ,  ZOUNES THOMAS ,  JACQUET FRANCOIS

IPC: H03K5/05

公开(公告)号：FR2922386A1

公开(公告)日：2009-04-17

申请号：FR0758346

申请日：2007-10-16

Applicant: ST MICROELECTRONICS SA

Inventor： LASBOUYGUES BENOIT ,  CLERC SYLVAIN ,  ARTIERI ALAIN ,  ZOUNES THOMAS ,  JACQUET FRANCOIS

IPC: H03K5/05

Abstract: L'invention concerne un générateur d'impulsions de synchronisation destinées à au moins deux registres, comprenant une première entrée (CK) destinée à recevoir un signal d'horloge et au moins une sortie (CP) destinée à fournir les impulsions sur l'entrée d'horloge desdits registres, caractérisé en ce qu'il comporte au moins une deuxième entrée (SETH) destinée à recevoir un signal de forçage de la sortie, indépendamment du signal d'horloge, pour rendre transparents lesdits registres.

公开(公告)号：FR2885714B1

公开(公告)日：2007-08-03

申请号：FR0504837

申请日：2005-05-13

Applicant: ST MICROELECTRONICS SA

Inventor： LASBOUYGUES BENOIT ,  SCHINDLER JOEL

Abstract: The method involves fixing a value of a ramp of a signal and varying a ramp of another signal for determining a set of values of a constraint by a dichotomy simulation. The value of the latter ramp is fixed at one of its values and the value of the former ramp is varied for determining, for each value of the former ramp, a deviation with respect to the value of the constraint belonging to the set of values and corresponding to the fixed value of the latter ramp. Values of the constraint are calculated for all values of the two ramps by adding the determined deviations to the set of values. An independent claim is also included for a calculation unit such as a computer, including a system for evaluating a constraint of a sequential cell.

公开(公告)号：FR2885714A1

公开(公告)日：2006-11-17

申请号：FR0504837

申请日：2005-05-13

Applicant: ST MICROELECTRONICS SA

Inventor： LASBOUYGUES BENOIT ,  SCHINDLER JOEL

IPC: G06F17/50 ,  G06F9/455

Abstract: Procédé d'évaluation d'une contrainte d'une cellule sécuentielle apte à échantillonner une donnée d'entrée cadencée par un signal d'horloge, ladite contrainte étant fonction de la rampe d'un premier signal et de la rampe d'un deuxième signal. Ledit procédé comporte une phase de caractérisation comprenant : une première étape (étape 1) de détermination dans laquelle on fixe une valeur de la deuxième rampe, on fait varier la valeur de la première rampe pour déterminer un premier ensemble de valeurs de la contrainte ; une deuxième étape (étape 2) de détermination dans laquelle on fixe la valeur de la première rampe à l'une de ses valeurs prise lors de la première étape de détermination, on fait varier la valeur de la deuxième rampe pour déterminer pour chaque valeur de la deuxième rampe un écart par rapport à la valeur de la contrainte appartenant audit premier ensemble et correspondant à ladite valeur fixée de la première rampe ; une troisième étape de calcul (étape 3) dans laquelle on calcule les valeurs de la contrainte pour toutes les valeurs de la première rampe et de la deuxième rampe, en ajoutant les différents écarts obtenus aux valeurs dudit premier ensemble de valeurs.