« Reconnaissance de circuits » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
Ligne 12 : | Ligne 12 : | ||
== Français == | == Français == | ||
'''Moteur de reconnaissance de circuits ''' <small>proposé par Termium</small> | '''Moteur de reconnaissance de circuits ''' <small>proposé par Termium</small> | ||
'''Reconnaissance de circuits''' | |||
== Anglais == | == Anglais == | ||
'''Circuit recognition engine ''' | '''Circuit recognition engine ''' | ||
'''Circuit recognition ''' | |||
Version du 20 janvier 2021 à 16:59
en construction
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é.
ou
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'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é.
Contributeurs: Jacques Barolet, wiki, Sihem Kouache