Reconnaissance de circuits - Historique des versions

Pitpitt : Pitpitt a déplacé la page Moteur de reconnaissance de circuits vers Reconnaissance de circuits

2021-01-22T14:29:43Z

Pitpitt a déplacé la page Moteur de reconnaissance de circuits vers Reconnaissance de circuits

← Version précédente	Version du 22 janvier 2021 à 10:29
(Aucune différence)

Pitpitt le 22 janvier 2021 à 14:28

2021-01-22T14:28:35Z

← Version précédente		Version du 22 janvier 2021 à 10:28
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.		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 ==
Ligne 15 :		Ligne 13 :

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


	<small>		<small>
Ligne 27 :		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:9]]

Sihem le 22 janvier 2021 à 04:20

2021-01-22T04:20:42Z

← Version précédente		Version du 22 janvier 2021 à 00:20
Ligne 2 :		Ligne 2 :

	== 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. 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.

	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.


Ligne 34 :		Ligne 30 :
	[[category:Vocabulaire]]		[[category:Vocabulaire]]
	[[Catégorie:Termium]]		[[Catégorie:Termium]]
	[[Catégorie:~~sihem~~]]		[[Catégorie:9]]

Pitpitt le 20 janvier 2021 à 21:59

2021-01-20T21:59:48Z

← Version précédente		Version du 20 janvier 2021 à 17:59
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 '''

Pitpitt le 20 janvier 2021 à 21:58

2021-01-20T21:58:08Z

← Version précédente		Version du 20 janvier 2021 à 17:58
Ligne 4 :		Ligne 4 :
	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é.		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		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.		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.
Ligne 15 :		Ligne 15 :
	== Anglais ==		== Anglais ==
	'''Circuit recognition engine '''		'''Circuit recognition engine '''


	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.

Pitpitt le 20 janvier 2021 à 21:56

2021-01-20T21:56:51Z

← Version précédente		Version du 20 janvier 2021 à 17:56
Ligne 3 :		Ligne 3 :
	== 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é.		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 ==		== Français ==
Ligne 21 :		Ligne 27 :

	[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]]		[[category:Vocabulaire]]
	[[Catégorie:Termium]]		[[Catégorie:Termium]]
	[[Catégorie:sihem]]		[[Catégorie:sihem]]

Pitpitt le 20 janvier 2021 à 21:53

2021-01-20T21:53:53Z

← Version précédente		Version du 20 janvier 2021 à 17:53
Ligne 1 :		Ligne 1 :
	==en construction==		==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é.

	== Français ==		== Français ==

Pitpitt le 20 janvier 2021 à 21:51

2021-01-20T21:51:29Z

← Version précédente		Version du 20 janvier 2021 à 17:51
Ligne 8 :		Ligne 8 :
	== Anglais ==		== Anglais ==
	'''Circuit recognition engine '''		'''Circuit recognition engine '''


			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 15 :		Ligne 21 :
	[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/8715251 Source : ieeexplore.ieee.org ]
	[[category:Vocabulaire]]		[[category:Vocabulaire]]
	[[Catégorie:Termium]]		[[Catégorie:Termium]]
	[[Catégorie:sihem]]		[[Catégorie:sihem]]

Pitpitt le 20 janvier 2021 à 21:49

2021-01-20T21:49:32Z

← Version précédente		Version du 20 janvier 2021 à 17:49
Ligne 1 :		Ligne 1 :
	==en construction==		==en construction==
	== Définition ==		== Définition ==
	~~Moteur de reconnaissance de circuits : il s’agit d’une proposition fournie en l’absence d’un terme français consacré.~~

	== Français ==		== Français ==
	'''Moteur de reconnaissance de circuits ''' ~~proposition, nom masculin~~		'''Moteur de reconnaissance de circuits ''' <small>proposé par Termium</small>

	== Anglais ==		== Anglais ==
Ligne 11 :		Ligne 11 :
	<small>		<small>

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

	[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 ]

Sihem le 20 janvier 2021 à 19:23

2021-01-20T19:23:41Z

← Version précédente		Version du 20 janvier 2021 à 15:23
Ligne 17 :		Ligne 17 :
	[[category:Vocabulaire]]		[[category:Vocabulaire]]
	[[Catégorie:Termium]]		[[Catégorie:Termium]]
	[[Catégorie:9]]		[[Catégorie:sihem]]