WIPO logo
Mobile | Deutsch | English | Español | 日本語 | 한국어 | Português | Русский | 中文 | العربية |
PATENTSCOPE

Recherche dans les collections de brevets nationales et internationales
World Intellectual Property Organization
Recherche
 
Options de navigation
 
Traduction
 
Options
 
Quoi de neuf
 
Connexion
 
Aide
 
Traduction automatique
1. (WO2006050483) DERIVATION AUTOMATIQUE DE DEPENDANCES LOGIQUES, ARITHMETIQUES ET DE SYNCHRONISATION
Dernières données bibliographiques dont dispose le Bureau international   

N° de publication :    WO/2006/050483    N° de la demande internationale :    PCT/US2005/039906
Date de publication : 11.05.2006 Date de dépôt international : 02.11.2005
CIB :
G06F 11/36 (2006.01)
Déposants : FURTEK [US/US]; 2470 Sharon Oaks Drive, Menlo Park, CA 94025 (US) (Tous Sauf US).
FURTEK, Frederick C. [US/US]; (US) (US Seulement)
Inventeurs : FURTEK, Frederick C.; (US)
Mandataire : BINGHAM, Marcel K.; 2055 Gateway Place, Suite 550, San Jose, CA 945110 (US)
Données relatives à la priorité :
60/624,583 02.11.2004 US
Titre (EN) AUTOMATICALLY DERIVING LOGICAL, ARITHMETIC AND TIMING DEPENDENCIES
(FR) DERIVATION AUTOMATIQUE DE DEPENDANCES LOGIQUES, ARITHMETIQUES ET DE SYNCHRONISATION
Abrégé : front page image
(EN)A mechanism for verifying system behavior includes: (1) A 'constraint-based inference engine' and (2) a 'constraint-based simulator.' The inference engine accepts logical/temporal/data dependencies describing a system implementation and automatically derives new logical/temporal/data dependencies describing the input/output ('black-box') behavior of the system or other aspect of the system's behavior. This capability means that a 'behavioral model' can be automatically extracted from a 'structural model,' thereby supporting 'encapsulation' and 'information hiding.' The simulator is driven by the output of the inference engine and behaves like a cycle-accurate simulator except that it can answer the question: Why does Signal S have Value V at Time T? This capability helps in system debugging since the simulator can immediately provide the user with the cause of an anomalous output value in the form of a behavioral constraint (implication) showing how the output value depends upon specific input values appearing in the simulation.
(FR)L'invention concerne un mécanisme permettant de vérifier le comportement d'un système. Ledit mécanisme fait appel : (1) à un 'moteur d'inférence à base de contraintes' et (2) à un 'simulateur basé sur des contraintes.' Le moteur d'inférence accepte des dépendances de logiques/temporelles/de données décrivant une mise en oeuvre du système et dérive automatiquement de nouvelles dépendances logiques/temporelles/de données décrivant le comportement d'entrée/sortie ('boîte noire') du système ou un autre aspect du comportement du système. Ladite capacité signifie qu'un 'modèle comportemental' peut être automatiquement extrait d'un 'modèle structurel,' permettant ainsi 'l'encapsulation' et 'le masquage d'information' Le simulateur est commandé par la sortie du moteur d'inférence et se comporte comme un simulateur précis de cycle excepté qu'il ne peut répondre à la question : pourquoi le signal S présente une valeur V à l'instant T ?. Ladite capacité aide au débogage du système étant donné que le simulateur peut immédiatement fournir à l'utilisateur la cause d'une valeur de sortie anormale sous la forme d'une contrainte comportementale (implication) présentant comment la valeur de sortie dépend de valeurs d'entrée spécifiques apparaissant dans la simulation.
États désignés : AE, AG, AL, AM, AT, AU, AZ, BA, BB, BG, BR, BW, BY, BZ, CA, CH, CN, CO, CR, CU, CZ, DE, DK, DM, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, HR, HU, ID, IL, IN, IS, JP, KE, KG, KM, KN, KP, KR, KZ, LC, LK, LR, LS, LT, LU, LV, LY, MA, MD, MG, MK, MN, MW, MX, MZ, NA, NG, NI, NO, NZ, OM, PG, PH, PL, PT, RO, RU, SC, SD, SE, SG, SK, SL, SM, SY, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, YU, ZA, ZM, ZW.
Organisation régionale africaine de la propriété intellectuelle (ARIPO) (BW, GH, GM, KE, LS, MW, MZ, NA, SD, SL, SZ, TZ, UG, ZM, ZW)
Office eurasien des brevets (OEAB) (AM, AZ, BY, KG, KZ, MD, RU, TJ, TM)
Office européen des brevets (OEB) (AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HU, IE, IS, IT, LT, LU, LV, MC, NL, PL, PT, RO, SE, SI, SK, TR)
Organisation africaine de la propriété intellectuelle (OAPI) (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, ML, MR, NE, SN, TD, TG).
Langue de publication : anglais (EN)
Langue de dépôt : anglais (EN)