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


Aucun résumé des modifications
 
(6 versions intermédiaires par 2 utilisateurs non affichées)
Ligne 1 : Ligne 1 :
==en construction==
== Définition ==
== 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 ==
== 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 '''
Efficiently recognizing the functionality of a circuit is key to many applications, such as formal verification, reverse engineering, and security. We present a scalable framework for gate-level circuit recognition that leverages deep learning and a convolutional neural network (CNN)-based circuit representation. Given a standard cell library, we present a sparse mapping algorithm to improve the time and memory efficiency of the CNN-based circuit representation. Sparse mapping allows encoding only the logic cell functionality, independently of implementation parameters such as timing or area. We further propose a data structure, termed level-dependent decaying sum (LDDS) existence vector, which can compactly represent information about the circuit topology. Given a reference gate in the circuit, an LDDS vector can capture the function of the gates in the input and output cones as well as their distance (number of stages) from the reference. Compared to the baseline approach, our framework obtains more than an-order-of-magnitude reduction in the average training time and 2× improvement in the average runtime for generating CNN-based representations from gate-level circuits, while achieving 10% higher accuracy on a set of benchmarks including EPFL and ISCAS'85 circuits.
 
 
 


<small>
<small>
Ligne 20 : Ligne 19 :


[https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-fra.html?lang=fra&i=1&srchtxt=MOTEUR+RECONNAISSANCE+CIRCUITS&index=alt&codom2nd_wet=1#resultrecs  Source : TERMIUM Plus  ]
[https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-fra.html?lang=fra&i=1&srchtxt=MOTEUR+RECONNAISSANCE+CIRCUITS&index=alt&codom2nd_wet=1#resultrecs  Source : TERMIUM Plus  ]
[https://ieeexplore.ieee.org/document/7951826  Source : ieeexplore.ieee.org ]


[https://ieeexplore.ieee.org/document/8715251  Source : ieeexplore.ieee.org ]
[https://ieeexplore.ieee.org/document/8715251  Source : ieeexplore.ieee.org ]
[[category:Vocabulaire]]
 
[[Catégorie:Termium]]
[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
[[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

Récupérée de « https://datafranca.org/wiki/index.php?title=Reconnaissance_de_circuits&oldid=35950 »

Contributeurs: Jacques Barolet, wiki, Sihem Kouache