<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.3 20210610//EN" "JATS-journalpublishing1-3.dtd">
<article article-type="research-article" dtd-version="1.3" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xml:lang="ru"><front><journal-meta><journal-id journal-id-type="publisher-id">mireabulletin</journal-id><journal-title-group><journal-title xml:lang="ru">Russian Technological Journal</journal-title><trans-title-group xml:lang="en"><trans-title>Russian Technological Journal</trans-title></trans-title-group></journal-title-group><issn pub-type="ppub">2782-3210</issn><issn pub-type="epub">2500-316X</issn><publisher><publisher-name>RTU MIREA</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.32362/2500-316X-2019-7-4-60-70</article-id><article-id custom-type="elpub" pub-id-type="custom">mireabulletin-164</article-id><article-categories><subj-group subj-group-type="heading"><subject>Research Article</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="ru"><subject>СОВРЕМЕННЫЕ РАДИОТЕХНИЧЕСКИЕ И ТЕЛЕКОММУНИКАЦИОННЫЕ СИСТЕМЫ</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="en"><subject>MODERN RADIO ENGINEERING AND TELECOMMUNICATION SYSTEMS</subject></subj-group></article-categories><title-group><article-title>Тестопригодное проектирование интегральных схем и проблемы защиты проектов</article-title><trans-title-group xml:lang="en"><trans-title>Design for Testability of Integrated Circuits and Project Protection Difficulties</trans-title></trans-title-group></title-group><contrib-group><contrib contrib-type="author" corresp="yes"><contrib-id contrib-id-type="orcid">https://orcid.org/0000-0001-6264-1231</contrib-id><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Певцов</surname><given-names>Е. Ф.</given-names></name><name name-style="western" xml:lang="en"><surname>Pevtsov</surname><given-names>E. Ph.</given-names></name></name-alternatives><bio xml:lang="ru"><p>кандидат технических наук, доцент, директор Центра проектирования интегральных схем, устройств наноэлектроники и микросистем</p><p>Scopus Author ID 6602652601</p><p>ResearcherID M-2709-2016</p><p>119454, Россия, Москва, пр-т Вернадского, д. 78</p></bio><bio xml:lang="en"><p>Cand. of Sci. (Engineering), Associate Professor, Director of the Center for Design of Integrated Circuits, Devices of Nanoelectronics and Microsystems,</p><p>78, Vernadskogo pr., Moscow 119454, Russia</p><p>Scopus Author ID 6602652601</p><p>ResearcherID M-2709-2016</p></bio><email xlink:type="simple">pevtsov@mirea.ru</email><xref ref-type="aff" rid="aff-1"/></contrib><contrib contrib-type="author" corresp="yes"><contrib-id contrib-id-type="orcid">https://orcid.org/0000-0003-3519-6683</contrib-id><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Деменкова</surname><given-names>Т. А.</given-names></name><name name-style="western" xml:lang="en"><surname>Demenkova</surname><given-names>T. A.</given-names></name></name-alternatives><bio xml:lang="ru"><p>кандидат технических наук, доцент кафедры вычислительной техники Института информационных технологий </p><p>Scopus Author ID 57192958412</p><p>119454, Россия, Москва, пр-т Вернадского, д. 78</p></bio><bio xml:lang="en"><p>Cand. of Sci. (Engineering), Associate Professor of the Chair of Computer Technology, Institute of Information Technologies,</p><p>78, Vernadskogo pr., Moscow 119454, Russia</p><p>Scopus author ID 57192958412</p></bio><xref ref-type="aff" rid="aff-1"/></contrib><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Шнякин</surname><given-names>А. А.</given-names></name><name name-style="western" xml:lang="en"><surname>Shnyakin</surname><given-names>A. A.</given-names></name></name-alternatives><bio xml:lang="ru"><p>программист Центра проектирования интегральных схем, устройств наноэлектроники и микросистем </p><p>119454, Россия, Москва, пр-т Вернадского, д. 78</p></bio><bio xml:lang="en"><p>Programmer of the Center for Design of Integrated Circuits, Devices ofNanoelectronics and Microsystems</p><p>78, Vernadskogo pr., Moscow 119454, Russia</p></bio><xref ref-type="aff" rid="aff-1"/></contrib></contrib-group><aff-alternatives id="aff-1"><aff xml:lang="ru"><institution>ФГБОУ ВО «МИРЭА – Российский технологический университет»</institution><country>Россия</country></aff><aff xml:lang="en"><institution>MIREA – Russian Technological University</institution><country>Russian Federation</country></aff></aff-alternatives><pub-date pub-type="collection"><year>2019</year></pub-date><pub-date pub-type="epub"><day>10</day><month>08</month><year>2019</year></pub-date><volume>7</volume><issue>4</issue><fpage>60</fpage><lpage>70</lpage><permissions><copyright-statement>Copyright &amp;#x00A9; Певцов Е.Ф., Деменкова Т.А., Шнякин А.А., 2019</copyright-statement><copyright-year>2019</copyright-year><copyright-holder xml:lang="ru">Певцов Е.Ф., Деменкова Т.А., Шнякин А.А.</copyright-holder><copyright-holder xml:lang="en">Pevtsov E.P., Demenkova T.A., Shnyakin A.A.</copyright-holder><license xml:lang="ru" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>Данная работа распространяется под лицензией Creative Commons Attribution 4.0.</license-p></license><license xml:lang="en" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>This work is licensed under a Creative Commons Attribution 4.0 License.</license-p></license></permissions><self-uri xlink:href="https://www.rtj-mirea.ru/jour/article/view/164">https://www.rtj-mirea.ru/jour/article/view/164</self-uri><abstract><p>Проектные решения отечественных СБИС получены в результате применения инструментов автоматизированного проектирования зарубежного поставщика (САПР Synopsys, Cadence Design Systems и Mentor Graphics) на основе библиотек стандартных элементов PDK (Project Design KIT) фабрик и IP-модулей, поставщиками которых также являются в основном зарубежные компании. Как правило, компания-разработчик не имеет собственных производственных мощностей, пользуясь услугами иностранных фабрик (fabless-компании). В этой связи актуальными являются исследования по созданию комплекса мер, исключающих возможности внесения несанкционированных изменений в интегральные схемы (ИС), т. е. защиты проектов от намеренных аппаратных и технологических нарушений, вносимых при формировании управляющей информации для передачи на производство и/или при изготовлении ИС на фабрике. В данной работе эта проблема рассматривается с позиций анализа методологии тестопригодного проектирования (DFT), т.е. комплекса мер, предусматривающих на этапе проектирования получение решений, в которых заложены проверки правильного функционирования изготовленной микросхемы с помощью внешних тестов и/или процедуры самотестирования. Предложено, в частности: 1) проводить анализ применяемых в проекте библиотек стандартных элементов с полным раскрытием их спецификации; 2) на основе библиотек стандартных элементов моделей и программ анализа создавать в проектах узлы с функцией физического неклонирования; 3) проводить анализ применяемых в проекте IP-модулей с максимальным раскрытием структуры, методов и алгоритмов обеспечения тестового покрытия; 4) предусматривать в проектах разработку специальных тестовых наборов и методов их генерации на этапе проектирования функций с целью обнаружения вредоносных узлов и программ как внутри ядер СнК, так и на уровне системных шин; 5) разрабатывать на этапе проектирования и применять при тестах методики специальных аппаратных измерений параметров изготовленных схем и анализа их результатов, в частности, по данным измерений задержек распространения сигналов и/или токов потребления шин.</p></abstract><trans-abstract xml:lang="en"><p>Design solutions of domestic VLSI were obtained as a result of the application of computeraided design tools of a foreign supplier (CAD Synopsys, Cadence Design Systems and Mentor Graphics), based on standard libraries of PDK elements (Project Design KIT) of factories and IC-modules also supplied mainly by foreign companies. As a rule, the developer does not have its own production facilities, using the services provided by foreign factories (fablesscompanies). Due to this fact, relevant are the studies aimed at the development of a complex of measures, excluding the possibility of unauthorized changes into IC, i.e. protection of projects against intentional hardware and technology violations made during the formation of the control information for handing it over to the production facility and/or in case of IC manufacture at the factory. This paper considers this task from the standpoint of the analysis of the methodology of design for testability (DFT), i.e., a complex of measures that provide obtaining solutions at the design stage. The solutions include the verification of the correct performance of the manufactured chip by means of external tests and/or self-testing procedures. It was proposed, inter alia: 1) to analyze the libraries of standard elements used in the project with full disclosure of their specifications; 2) to create nodes with the physical non-cloning function in the projects on the basis of the libraries of standard elements in models and analysis programs; 3) to analyze IP modules used in the project with the maximum disclosure of structure, methods and algorithms for providing test coverings; 4) to provide for the development in projects of special test kits and methods of their generation at the design stage of functions in order to detect malicious nodes and programs both within SoC cores and at the level of system buses; 5) to develop at the design stage and to apply during tests a technique of special hardware measurements of parameters of the manufactured circuits and analysis of their results, inter alia, according to measurements of delays in distribution of signals and/or buses current consumption.</p></trans-abstract><kwd-group xml:lang="ru"><kwd>тестопригодное проектирование</kwd><kwd>аппаратные закладки/трояны</kwd><kwd>верификация проекта ИС</kwd><kwd>тестовые покрытия</kwd><kwd>узлы самотестирования</kwd></kwd-group><kwd-group xml:lang="en"><kwd>design for testability</kwd><kwd>instrument bugs/Trojans</kwd><kwd>IC project verification</kwd><kwd>test coverings</kwd><kwd>self-testing units</kwd><kwd>design for security</kwd></kwd-group><funding-group><funding-statement xml:lang="ru">Работа выполнена в рамках государственного заказа при поддержке Министерства науки и высшего образования Российской Федерации (проект № 8.5098.2017/8.9).</funding-statement></funding-group></article-meta></front><back><ref-list><title>References</title><ref id="cit1"><label>1</label><citation-alternatives><mixed-citation xml:lang="ru">Вонг Б.П. Миттал А., Старр Г. Нано-КМОП-схемы и проектирование на физическом уровне. М.: Техносфера, 2014. 432 с.</mixed-citation><mixed-citation xml:lang="en">Wong B.P., Mittal A., Starr G. Nano-CMOS circuit and physical design. Moscow: Tekhnosfera Publ., 2014. 432 p., (in Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit2"><label>2</label><citation-alternatives><mixed-citation xml:lang="ru">Wang L.T., Chang Y.W., Cheng K.T.T. Electronic design automation: Synthesis, verification, and test.New York: Morgan Kaufmann, 2009. 971 p.</mixed-citation><mixed-citation xml:lang="en">Wang L.T., Chang Y.W., Cheng K.T.T. Electronic design automation: Synthesis, verification, and test. New York: Morgan Kaufmann, 2009. 971 p.</mixed-citation></citation-alternatives></ref><ref id="cit3"><label>3</label><citation-alternatives><mixed-citation xml:lang="ru">Рабаи Жан М., Чандракасан А., Николич Б. Цифровые интегральные схемы. Методология проектирования. 2-е изд.: Пер. с англ. М.: ООО «И.Д. Вильямс», 2016. 912 с.</mixed-citation><mixed-citation xml:lang="en">Rabai Jean M., Chandrakasan A., Nikolic B. Digital integrated circuits. Design methodology: 2nd ed. Moscow: Publishing House Williams, 2016. 912 p., (in Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit4"><label>4</label><citation-alternatives><mixed-citation xml:lang="ru">Стотланд И.А. Метод динамической верификации модулей системного обмена микропроцессорных вычислительных комплексов // Научно-технический вестник Поволжья. 2012. № 4. C. 191–196.</mixed-citation><mixed-citation xml:lang="en">Stotland I.A. An approach to simulation-based verification of interconnection modules of microprocessor computer systems. Nauchno-tekhnicheskij vestnik Povolzhʼya [Scientific and Technical Volga region Bulletin]. 2012; (4):191-196, (in Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit5"><label>5</label><citation-alternatives><mixed-citation xml:lang="ru">Бобков С.Г. Создание высокопроизводительных доверенных систем на базе микропроцессоров с архитектурой КОМДИВ // Наноиндустрия. 2017. № S(74). С. 14–17.</mixed-citation><mixed-citation xml:lang="en">Bobkov S.G. Development of high-performance trusted computing systems based on KOMDIV</mixed-citation></citation-alternatives></ref><ref id="cit6"><label>6</label><citation-alternatives><mixed-citation xml:lang="ru">Губарев В.А., Воронков С.О., Антюфеев Г.В. Системное моделирование цифровых устройств в стиле блочного проектирования СБИС СнК // Вопросы радиоэлектроники. Серия «Электронная вычислительная техника (ЭВТ)». 2012. Вып. 2. С. 138–146.</mixed-citation><mixed-citation xml:lang="en">microprocessors. Nanoindustiya [Nanoindustry]. 2017; S(74):14-17, (in Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit7"><label>7</label><citation-alternatives><mixed-citation xml:lang="ru">Белоус А.И., Солодуха В.А., Шведов С.В. Программные и аппаратные трояны – способы внедрения и методы противодействия. Первая техническая энциклопедия: в 2-х кн. / Под. общ. ред. А.И. Белоуса. М.: Техносфера, 2018. 1318 с.</mixed-citation><mixed-citation xml:lang="en">Gubarev V.A., Voronkov S.O., Antufeev G.V. System modeling of digital devices in the style of block design. Voprosy radioelektroniki. Seriya «Elektronnaya vychislitelʼnaya tekhnika» (EVT) [Issues of Radio Electronics. Series: Electronic Computing]. 2012; 2:138-146, (in Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit8"><label>8</label><citation-alternatives><mixed-citation xml:lang="ru">IEEE 1500 Embedded Core Test. URL: http://grouper.ieee.org/groups/1500 (дата обращения 01.07.2019).</mixed-citation><mixed-citation xml:lang="en">Belous A.I., Solodukha V.A., Shvedov S.V. Software and hardware Trojans-ways of implementation and methods of counteraction. The first technical encyclopedia: in 2 v. Ed. A.I. Bilous. Moscow: Tekhnosfera Publ., 2018. 1318 p., (in Russ.).</mixed-citation></citation-alternatives></ref><ref id="cit9"><label>9</label><citation-alternatives><mixed-citation xml:lang="ru">Shnyakin A.A., Pevtsov E.Ph., Demenkova T.A. Improving the functionality of the semiconductor matrix receiver of optical radiation // In: Proceed. VII Int. Conf. «Modern Technologies for Non-Destructive Testing» IOP Conf. Series: Materials Science and Engineering. IOP Publishing. 2018. V. 457. P. 012015. https://doi.org/10.1088/1757-899X/457/1/012015</mixed-citation><mixed-citation xml:lang="en">IEEE 1500 Embedded Core Test. URL: http://grouper.ieee.org/groups/1500.</mixed-citation></citation-alternatives></ref><ref id="cit10"><label>10</label><citation-alternatives><mixed-citation xml:lang="ru">IEEE 1500 Embedded Core Test. URL: http://grouper.ieee.org/groups/1500.</mixed-citation><mixed-citation xml:lang="en">IEEE 1500 Embedded Core Test. URL: http://grouper.ieee.org/groups/1500.</mixed-citation></citation-alternatives></ref><ref id="cit11"><label>11</label><citation-alternatives><mixed-citation xml:lang="ru">Shnyakin A.A., Pevtsov E.Ph., Demenkova T.A. Improving the functionality of the semiconductor matrix receiver of optical radiation. In: Proceed. VII Int. Conf. «Modern Technologies for Non-Destructive Testing» IOP Conf. Series: Materials Science and Engineering. IOP Publishing. 2018; 457: 012015. https://doi.org/10.1088/1757-899X/457/1/012015</mixed-citation><mixed-citation xml:lang="en">Shnyakin A.A., Pevtsov E.Ph., Demenkova T.A. Improving the functionality of the semiconductor matrix receiver of optical radiation. In: Proceed. VII Int. Conf. «Modern Technologies for Non-Destructive Testing» IOP Conf. Series: Materials Science and Engineering. IOP Publishing. 2018; 457: 012015. https://doi.org/10.1088/1757-899X/457/1/012015</mixed-citation></citation-alternatives></ref><ref id="cit12"><label>12</label><citation-alternatives><mixed-citation xml:lang="ru">Shnyakin A.A., Pevtsov E.Ph., Demenkova T.A. Improving the functionality of the semiconductor matrix receiver of optical radiation. In: Proceed. VII Int. Conf. «Modern Technologies for Non-Destructive Testing» IOP Conf. Series: Materials Science and Engineering. IOP Publishing. 2018; 457: 012015. https://doi.org/10.1088/1757-899X/457/1/012015</mixed-citation><mixed-citation xml:lang="en">Shnyakin A.A., Pevtsov E.Ph., Demenkova T.A. Improving the functionality of the semiconductor matrix receiver of optical radiation. In: Proceed. VII Int. Conf. «Modern Technologies for Non-Destructive Testing» IOP Conf. Series: Materials Science and Engineering. IOP Publishing. 2018; 457: 012015. https://doi.org/10.1088/1757-899X/457/1/012015</mixed-citation></citation-alternatives></ref></ref-list><fn-group><fn fn-type="conflict"><p>The authors declare that there are no conflicts of interest present.</p></fn></fn-group></back></article>
