Deriving approximate logic circuits for TMR technique
The Triple-Modular Redundancy (TMR) technique is one of the conventional approaches to provide reliable functioning of logic circuits. When using outsourcing, it is possible to inject a Trojan Circuit (TC) in the same line of each identical TMR module, and the TMR technique becomes vulnerable. It is...
| Published in: | Russian physics journal Vol. 65, № 4. P. 751-760 |
|---|---|
| Main Author: | |
| Other Authors: | , |
| Format: | Article |
| Language: | English |
| Subjects: | |
| Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001015290 Перейти в каталог НБ ТГУ |
| LEADER | 02729nab a2200349 c 4500 | ||
|---|---|---|---|
| 001 | koha001015290 | ||
| 005 | 20231208141745.0 | ||
| 007 | cr | | ||
| 008 | 231204|2022 ru s a eng d | ||
| 024 | 7 | |a 10.1007/s11182-022-02693-3 |2 doi | |
| 035 | |a koha001015290 | ||
| 040 | |a RU-ToGU |b rus |c RU-ToGU | ||
| 100 | 1 | |a Matrosova, Anzhela Yu. |9 106598 | |
| 245 | 1 | 0 | |a Deriving approximate logic circuits for TMR technique |c A. Yu. Matrosova, S. A. Ostanin, G. G. Goshin |
| 336 | |a Текст | ||
| 337 | |a электронный | ||
| 504 | |a Библиогр.: 10 назв. | ||
| 520 | 3 | |a The Triple-Modular Redundancy (TMR) technique is one of the conventional approaches to provide reliable functioning of logic circuits. When using outsourcing, it is possible to inject a Trojan Circuit (TC) in the same line of each identical TMR module, and the TMR technique becomes vulnerable. It is necessary to withstand to vulnerability. One way of solving this problem is the application of two approximate logic circuits and one correct circuit that implements the proper functioning in the frame of the TMR technique. However, this approach, as a rule, generates an unprotected area in which a fault of one of the three circuits may be undetected. It is desirable to minimize this area. In this paper, approximate circuits are built based on deriving approximate systems of Boolean functions. These systems are then applied for an approximate circuit synthesis. The approach gives additional possibilities for cutting the unprotected area compared to the methods suggested before. Algorithms of deriving the approximate systems of the Boolean functions based on analysis of an irredundant system of sums of products (SoPs) describing the behavior of the correct circuit have been developed. The algorithm appreciating the size of the unprotected area is also given. | |
| 653 | |a комбинационные схемы | ||
| 653 | |a сокращенные упорядоченные двоичные диаграммы принятия решений | ||
| 653 | |a метод тройного модульного резервирования | ||
| 653 | |a приближенные схемы | ||
| 655 | 4 | |a статьи в журналах |9 915419 | |
| 700 | 1 | |a Ostanin, Sergey A. |9 104525 | |
| 700 | 1 | |a Goshin, G. G. |9 808508 | |
| 773 | 0 | |t Russian physics journal |d 2022 |g Vol. 65, № 4. P. 751-760 |x 1064-8887 | |
| 852 | 4 | |a RU-ToGU | |
| 856 | 4 | |u http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001015290 | |
| 856 | |y Перейти в каталог НБ ТГУ |u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=1015290 | ||
| 908 | |a статья | ||
| 039 | |b 100 | ||
| 999 | |c 1015290 |d 1015290 | ||