Traitement en cours

Veuillez attendre...

Paramétrages

Paramétrages

Aller à Demande

1. WO2003021494 - SIMULATION DE LOGIQUE

Numéro de publication WO/2003/021494
Date de publication 13.03.2003
N° de la demande internationale PCT/US2002/027004
Date du dépôt international 23.08.2002
Demande présentée en vertu du Chapitre 2 25.03.2003
CIB
G06F 17/50 2006.01
GPHYSIQUE
06CALCUL; COMPTAGE
FTRAITEMENT ÉLECTRIQUE DE DONNÉES NUMÉRIQUES
17Équipement ou méthodes de traitement de données ou de calcul numérique, spécialement adaptés à des fonctions spécifiques
50Conception assistée par ordinateur
CPC
G06F 30/33
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
30Computer-aided design [CAD]
30Circuit design
32Circuit design at the digital level
33Design verification, e.g. functional simulation or model checking
Déposants
  • INTEL CORPORATION [US]/[US]
Inventeurs
  • WHEELER, William
  • ADILETTA, Matthew
  • FENNELL, Timothy
Mandataires
  • HARRIS, Scott, C.
Données relatives à la priorité
09/942,11629.08.2001US
Langue de publication anglais (EN)
Langue de dépôt anglais (EN)
États désignés
Titre
(EN) LOGIC SIMULATION
(FR) SIMULATION DE LOGIQUE
Abrégé
(EN)
Logic simulation includes storing a first state to identify in a simulation of a logic design whether a node included in the logic design has a logic high value. Logic simulation also includes storing a second state to identify in simulation of the logic design whether the node has a logic low value and storing a third state to identify in simulation of the logic design whether the node has an undefined state. The logic simulation determines an output of the node in simulation of the logic design based on the first state, the second state, and the third state.
(FR)
L'invention concerne une simulation de logique, consistant à stocker un premier état, afin de déterminer, lors de la simulation d'une conception de logique, si un noeud compris dans la conception de logique présente une valeur logique élevée. La simulation de logique consiste également à stocker un second état, afin de déterminer, lors de la simulation de la conception de logique, si le noeud présente une valeur logique basse, puis, à stocker un troisième état, afin de déterminer, lors de la simulation d'une conception de logique, si le noeud présente un état non défini. La simulation de logique détermine une sortie du noeud, lors de la simulation de la conception de logique, en fonction du premier état, du second état et du troisième état.
Également publié en tant que
Dernières données bibliographiques dont dispose le Bureau international