RUS  ENG
Полная версия
ЖУРНАЛЫ // Труды института системного программирования РАН

Труды ИСП РАН, 2018, том 30, выпуск 2, страницы 99–112 (Mi tisp311)

Организация полностью самопроверяемой схемы встроенного контроля на основе метода логического дополнения до равновесного кода «2 из 4»
Д. В. Ефанов, В. В. Сапожников, Вл. В. Сапожников, Д. В. Пивоваров

Список литературы

1. Kubalík P., Kubátová H., “Parity Codes Used for On-Line Testing in FPGA”, Acta Polytechnika, 45:6 (2005), 53-59
2. Ubar R., Raik J., Vierhaus H.-T., Design and Test Technology for Dependable Systems-on-Chip (Premier Reference Source), Information Science Reference, IGI Global, Hershey – New York, 2011, 578 pp.
3. Borecký J., Kohlík M., Kubátová H., “Parity Driven Reconfigurable Duplex System”, Microprocessors and Microsystems, 52 (2017), 251-260  crossref
4. А. В. Дрозд, В. С. Харченко, С. Г. Антощук, Ю. В. Дрозд, М. А. Дрозд, Ю. Ю. Сулима, Рабочее диагностирование безопасных информационно-управляющих систем, ред. А. В. Дрозд, В. С. Харченко, Национальный аэрокосмический университет им. Н. Е. Жуковского «ХАИ», Харьков, 2012, 614 с. [A. V. Drozd, V. S. Kharchenko, S. G. Antoshchuk, Ju. V. Drozd, M. A. Drozd, Yu. Yu. Sulima, Objects and Methods of On-Line Testing for Safe Instrumentation and Control Systems, National Aerospace University “KhAI”, Kharkov, 2012, 614 pp. (in Russian)]
5. Пархоменко П. П., Согомонян Е. С., Основы технической диагностики (оптимизация алгоритмов диагностирования, аппаратурные средства), Энергоатомиздат, М., 1981, 320 с. [Parkhomenko P. P., Sogomonyan E. S., Technical Diagnosis Fundamentals (Diagnostic Algorithm Optimization, Apparatus Means), Energoatomizdat, Moscow, 1981, 320 pp. (in Russian)]
6. Согомонян Е. С., Слабаков Е. В., Самопроверяемые устройства и отказоустойчивые системы, Радио и связь, М., 1989, 208 с. [Sogomonyan E. S., Slabakov E. V., Self-Checking Devices and Fault-Tolerant Systems, Radio & Communication, Moscow, 1989, 208 pp. (in Russian)]
7. Berger J. M., “A Note on Error Detecting Codes for Asymmetric Channels”, Information and Control, 4:1 (1961), 68-73  crossref  mathscinet  zmath
8. Freiman C. V., “Optimal Error Detection Codes for Completely Asymmetric Binary Channels”, Information and Control, 5:1 (1962), 64-71  crossref  mathscinet  zmath
9. Ефанов Д. В., Сапожников В. В., Сапожников Вл.В., “Условия обнаружения неисправности логического элемента в комбинационном устройстве при функциональном контроле на основе кода Бергера”, Автоматика и телемеханика, 2017, № 5, 152-165  mathnet  crossref  mathscinet  zmath  elib; Efanov D. V., Sapozhnikov V. V., Sapozhnikov Vl.V., “Conditions for Detecting a Logical Element Fault in a Combination Device under Concurrent Checking Based on Berger's Code”, Automation and Remote Control, 78:5 (2017), 891-901  crossref  mathscinet  zmath  scopus
10. Sogomonyan E. S., Gössel M., “Design of Self-Testing and On-Line Fault Detection Combinational Circuits with Weakly Independent Outputs”, Journal of Electronic Testing: Theory and Applications, 4:4 (1993), 267-281  crossref
11. Busaba F. Y., Lala P. K., “Self-Checking Combinational Circuit Design for Single and Unidirectional Multibit Errors”, Journal of Electronic Testing: Theory and Applications, 5:1 (1994), 19-28  crossref
12. Matrosova A. Yu., Levin I., Ostanin S. A., “Self-Checking Synchronous FSM Network Design with Low Overhead”, VLSI Design, 11:1 (2000), 47-58  crossref
13. Ostanin S., “Self-Checking Synchronous FSM Network Design for Path Delay Faults”, Proceedings of 15th IEEE East-West Design & Test Symposium, EWDTS'2017 (Novi Sad, Serbia, September 29 – October 2, 2017), 696-699  crossref
14. Nicolaidis M., Zorian Y., “On-Line Testing for VLSI – A Compendium of Approaches”, Journal of Electronic Testing: Theory and Applications, 1998, no. 12, 7-20  crossref
15. Piestrak S. J., Design of Self-Testing Checkers for Unidirectional Error Detecting Codes, Oficyna Wydawnicza Politechniki Wrocłavskiej, Wrocław, 1995, 111 pp.
16. Сапожников В. В., Сапожников Вл.В., Дмитриев А. В., Морозов А. В., Гессель М., “Организация функционального контроля комбинационных схем методом логического дополнения”, Электронное моделирование, 24:6 (2002), 52-66 [Sapozhnikov V. V., Sapozhnikov Vl.V., Dmitriev A. V., Morozov A. V., Göessel M., “Organization of Functional Checking of Combinational Circuits by the Logic Complement Method”, Electronic Modeling, 24:6 (2002), 52-66 (in Russian)]
17. Гессель М., Морозов А. В., Сапожников В. В., Сапожников Вл.В., “Логическое дополнение – новый метод контроля комбинационных схем”, Автоматика и телемеханика, 2003, № 1, 167-176  mathnet  crossref  zmath; Goessel M., Morozov A. V., Sapozhnikov V. V., Sapozhnikov Vl.V., “Logic Complement, a New Method of Checking the Combinational Circuits”, Automation and Remote Control, 64:1 (2003), 153-161  crossref  mathscinet
18. Saposhnikov Vl.V., Dmitriev A., Goessel M., Saposhnikov V. V., “Self-Dual Parity Checking – a New Method for on Line Testing”, Proceedings of 14th IEEE VLSI Test Symposium (28 April – 1 May 1996, Princeton, NJ, USA), 162-168  crossref
19. Dmitriev A., Saposhnikov V., Saposhnikov Vl., Goessel M., Moshanin V., Morosov A., “New Self-Dual Circuits for Error Detection and Testing”, VLSI Design, 11:1 (2000), 1-21  crossref
20. Göessel M., Ocheretny V., Sogomonyan E., Marienfeld D., New Methods of Concurrent Checking, 1, Springer Science+Business Media B. V., Dordrecht, 2008, 184 pp.
21. Sen S. K., “A Self-Checking Circuit for Concurrent Checking by 1-out-of-4 code with Design Optimization using Constraint Don't Cares”, National Conference on Emerging trends and advances in Electrical Engineering and Renewable Energy (NCEEERE 2010) (Sikkim Manipal Institute of Technology, Sikkim, held during 22-24 December, 2010)
22. Das D. K., Roy S. S., Dmitiriev A., Morozov A., Gössel M., “Constraint Don't Cares for Optimizing Designs for Concurrent Checking by 1-out-of-3 Codes”, Proceedings of the 10th International Workshops on Boolean Problems (Freiberg, Germany, September, 2012), 33-40
23. Сапожников В. В., Сапожников Вл.В., Ефанов Д. В., “Построение самопроверяемых структур систем функционального контроля на основе равновесного кода «2 из 4»”, Проблемы управления, 2017, № 1, 57-64  mathnet  elib [Sapozhnikov V. V., Sapozhnikov Vl.V., Efanov D. V., “Design of Self-Checking Concurrent Error Detection Systems Based on “2-out-of-4” Constant-Weight Code”, Control Sciences, 2017, no. 1, 57-64 (in Russian)]
24. Сапожников В. В., Сапожников Вл.В., Самопроверяемые дискретные устройства, Энергоатомиздат, СПб, 1992, 224 с. [Sapozhnikov V. V., Sapozhnikov Vl.V., Self-Checking Discrete Devices, Energoatomizdat, St. Petersburg, 1992, 224 pp. (in Russian)]
25. Sapozhnikov V., Sapozhnikov Vl., Efanov D., “Concurrent Error Detection of Combinational Circuits by the Method of Boolean Complement on the Base of «2-out-of-4». Code”, Proceedings of 14th IEEE East-West Design & Test Symposium, EWDTS'2016 (Yerevan, Armenia, October 14-17, 2016), 126-133  crossref
26. Пивоваров Д. В., “Построение систем функционального контроля многовыходных комбинационных схем методом логического дополнения по равновесным кодам”, Автоматика на транспорте, 4:1 (2018), 130-148 [Pivovarov D. V., “Formation of concurrent error detection systems in multiple-output combinational circuits using the Boolean complement method based on constant-weight codes”, Automation on transport, 4:1 (2018), 130-148 (in Russian)]
27. Сапожников В. В., Сапожников Вл.В., Ефанов Д. В., Пивоваров Д. В., “Синтез систем функционального контроля многовыходных комбинационных схем на основе метода логического дополнения”, Вестник Томского государственного университета. Управление, вычислительная техника и информатика, 2017, № 4, 69-80  crossref  elib [Sapozhnikov V. V., Sapozhnikov Vl.V., Efanov D. V., Pivovarov D. V., “Synthesis of concurrent error detection systems of multioutput combinational circuits based on Boolean complement method”, Tomsk State University Journal of Control and Computer Science, 2017, no. 4, 69-80 (in Russian)]
28. Аксëнова Г. П., “Необходимые и достаточные условия построения полностью проверяемых схем свертки по модулю 2”, Автоматика и телемеханика, 1979, № 9, 126-135  mathnet  mathscinet  zmath; Aksjonova G. P., “Necessary and Sufficient Conditions for Design of Completely Checkable Modulo 2 Convolution Circuits”, Automation and Remote Control, 40:9 (1979), 1362-1369  mathscinet


© МИАН, 2026