« Reconnaissance de circuits » : différence entre les versions


Aucun résumé des modifications
 
(2 versions intermédiaires par 2 utilisateurs non affichées)
Ligne 1 : Ligne 1 :
==en construction==
== Définition ==
== Définition ==
La reconnaissance efficace de la fonctionnalité d'un circuit est la clé de nombreuses applications, telles que la vérification formelle, l'ingénierie inverse et la sécurité.
L’identification des propriétés (caractéristiques) des circuits et l’application d’algorithmes appropriés sont utiles pour résoudre divers problèmes de conception assistée par ordinateur.  
 
En présence d’un bloc de circuit suspecté, une approche courante consiste à trouver un ensemble de fonctions candidates, puis à appliquer des méthodes formelles pour l’identifier.   
ou
L’identification des caractéristiques utiles des fonctions de haut niveau et la collecte des suggestions de candidats d’un bloc inconnu sont des étapes importantes.
 
L'identification des propriétés (caractéristiques) des circuits et l'application d'algorithmes appropriés sont utiles pour résoudre divers problèmes de conception assistée par ordinateur. Étant donné un bloc de circuit suspecté, une approche courante consiste à trouver un ensemble de fonctions candidates, puis à appliquer des méthodes formelles pour l'identifierL'identification des caractéristiques utiles des fonctions de haut niveau et la collecte des suggestions de candidats d'un bloc inconnu sont des étapes importantes.  
 
 


== Français ==
== Français ==
Ligne 19 : Ligne 13 :


'''Circuit recognition '''
'''Circuit recognition '''


<small>
<small>
Ligne 31 : Ligne 24 :
[https://ieeexplore.ieee.org/document/8715251  Source : ieeexplore.ieee.org ]
[https://ieeexplore.ieee.org/document/8715251  Source : ieeexplore.ieee.org ]


 
[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
[[category:Vocabulaire]]
[[Catégorie:Termium]]
[[Catégorie:sihem]]

Dernière version du 22 janvier 2021 à 09:29

Définition

L’identification des propriétés (caractéristiques) des circuits et l’application d’algorithmes appropriés sont utiles pour résoudre divers problèmes de conception assistée par ordinateur. En présence d’un bloc de circuit suspecté, une approche courante consiste à trouver un ensemble de fonctions candidates, puis à appliquer des méthodes formelles pour l’identifier. L’identification des caractéristiques utiles des fonctions de haut niveau et la collecte des suggestions de candidats d’un bloc inconnu sont des étapes importantes.

Français

Moteur de reconnaissance de circuits proposé par Termium

Reconnaissance de circuits

Anglais

Circuit recognition engine

Circuit recognition

Moteur de reconnaissance de circuits : il s’agit d’une proposition fournie en l’absence d’un terme français consacré.

Source : TERMIUM Plus

Source : ieeexplore.ieee.org

Source : ieeexplore.ieee.org