<?xml version="1.0" encoding="UTF-8"?>
<article 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" xmlns:ali="http://www.niso.org/schemas/ali/1.0/" article-type="research-article" dtd-version="1.2" xml:lang="en">
  <front>
    <journal-meta>
      <journal-id journal-id-type="issn">1561-5405</journal-id>
	    <journal-id journal-id-type="doi">10.24151/1561-5405</journal-id>	  
      <journal-id journal-id-type="publisher-id">Proceedings of Universities. Electronics</journal-id>
      <journal-title-group>
        <journal-title xml:lang="en">Scientifical and technical journal "Proceedings of Universities. Electronics"</journal-title>
        <trans-title-group xml:lang="ru">
          <trans-title>Научно-технический журнал «Известия высших учебных заведений. Электроника»</trans-title>
        </trans-title-group>        
      </journal-title-group>      
      <issn publication-format="print">1561-5405</issn>
      <issn publication-format="online">2587-9960</issn>
      <publisher>
        <publisher-name xml:lang="en">National Research University of Electronic Technology</publisher-name>
        <publisher-name xml:lang="ru">Национальный исследовательский университет "Московский институт электронной техники"</publisher-name>
      </publisher>
    </journal-meta>
    <article-meta>                                    
      
    <article-id pub-id-type="doi">10.24151/1561-5405-2019-24-5-530-538</article-id><article-id pub-id-type="udk">004.67:621.3.049.77</article-id><article-categories><subj-group><subject>Информационно-коммуникационные технологии</subject></subj-group></article-categories><title-group><article-title xml:lang="en">Efficient Error Localization Method during Developing Specialized LSI</article-title><trans-title-group xml:lang="ru"><trans-title>Эффективный метод локализации ошибок при проектировании специализированных БИС</trans-title></trans-title-group></title-group><contrib-group><contrib contrib-type="author"><string-name xml:lang="ru">Гагарина Лариса Геннадьевна</string-name><name-alternatives><name xml:lang="ru"><surname>Гагарина</surname><given-names>Лариса Геннадьевна</given-names></name><name xml:lang="en"><surname>Gagarina</surname><given-names>Larisa G.</given-names></name></name-alternatives><string-name xml:lang="en">Larisa G. Gagarina</string-name><xref ref-type="aff" rid="AFF-1"/></contrib><contrib contrib-type="author"><string-name xml:lang="ru">Гайдук Игорь Олегович </string-name><name-alternatives><name xml:lang="ru"><surname>Гайдук</surname><given-names>Игорь Олегович </given-names></name><name xml:lang="en"><surname>Olegovich</surname><given-names>Gayduk Igor</given-names></name></name-alternatives><string-name xml:lang="en">Gayduk Igor Olegovich</string-name><xref ref-type="aff" rid="AFF-1"/></contrib><contrib contrib-type="author"><string-name xml:lang="ru">Кремер Евгений Александрович </string-name><name-alternatives><name xml:lang="ru"><surname>Кремер</surname><given-names>Евгений Александрович </given-names></name><name xml:lang="en"><surname>Aleksandrovich</surname><given-names>Kremer Evgeniy</given-names></name></name-alternatives><string-name xml:lang="en">Kremer Evgeniy Aleksandrovich</string-name><xref ref-type="aff" rid="AFF-1"/></contrib><contrib contrib-type="author"><string-name xml:lang="ru">Можжухина Арина Валерьевна </string-name><name-alternatives><name xml:lang="ru"><surname>Можжухина</surname><given-names>Арина Валерьевна </given-names></name><name xml:lang="en"><surname>Valerevna</surname><given-names>Mozhzhukhina Arina</given-names></name></name-alternatives><string-name xml:lang="en">Mozhzhukhina Arina Valerevna</string-name><xref ref-type="aff" rid="AFF-2"/></contrib><aff id="AFF-1" xml:lang="ru">Национальный исследовательский университет «МИЭТ», г. Москва, Россия</aff><aff id="AFF-2" xml:lang="ru">Национальный исследовательский университет «МИЭТ», г. Москва, Россия; НПК «Технологический центр», г. Москва, Россия</aff></contrib-group><fpage>530</fpage><lpage>538</lpage><self-uri>http://ivuz-e.ru/issues/5-_2019/effektivnyy_metod_lokalizatsii_oshibok_pri_proektirovanii_spetsializirovannykh_bis/</self-uri><abstract xml:lang="en"><p>During functional logic modeling in the process of developing specialized large-scale integrated circuits (LSI) various tasks have to be solved. Currently, the domestic CAD systems lack the error localization subsystem at the stage of the functional-logical design. In the work the existing CAD methods have been analyzed, where the necessary minimum functionality for the error localization technique in the context of improving the «Kovcheg» CAD system had been considered. An effective method of localizing errors based on the requirements of the domestic process and the CAD analysis has been proposed. The formalization of the task of reducing the time for designing LSI has been presented. In addition, a diagram of the data of the developed error localization subsystem has been given, taking into account the features of the “Kovcheg” CAD system. These features, in particular, include the structure of the LSI projects and the peculiarities of storing information in them. When considering the dependence of the LSI development time on the degree of integration of the chip before and after embedding the error localization subsystem in the CAD system, the theoretical shortening of the LSI development time with these simplifications and averages is about 7% in ideal working conditions.</p></abstract><trans-abstract xml:lang="ru"><p>В настоящее время в отечественных САПР отсутствует подсистема локализации ошибок на этапе функционально-логического проектирования. В работе проанализированы существующие методы САПР и рассмотрен необходимый минимальный функционал для метода локализации ошибок в рамках улучшения САПР «Ковчег». Предложен эффективный метод локализации ошибок на основе требований отечественного технологического процесса и проведенного анализа САПР. Представлена формализация задачи сокращения времени проектирования БИС. Дополнительно приведена схема данных разрабатываемой подсистемы локализации ошибок, учитывающая особенности САПР «Ковчег». К ним, в частности, относятся структура проектов БИС и особенности хранения в них информации. Рассмотрена зависимость времени разработки БИС от степени интеграции микросхемы до и после встраивания в САПР подсистемы локализации ошибок. Сокращение времени разработки БИС при данных упрощениях и усреднениях составляет около 7 &amp;#37; при идеальных условиях работы, что соответственно позволит уменьшить и стоимость микросхемы.</p></trans-abstract><kwd-group xml:lang="ru"><kwd>функционально-логическое моделирование</kwd><kwd>БИС</kwd><kwd>логическое проектирование</kwd><kwd>САПР</kwd></kwd-group><funding-group/></article-meta>
  </front>
  <body/>
  <back>
    <ref-list><ref id="B1"><label>1.</label><mixed-citation xml:lang="ru">Гаврилов С.В., Денисов А.Н., Коняхин В.В. Система автоматизированного проек-тирования «Ковчег 2.1» / под ред. Ю.А. Чаплыгина. – М.: Микрон-Принт, 2001. – 210 с.</mixed-citation></ref><ref id="B2"><label>2.</label><mixed-citation xml:lang="ru">Manikas T., Thornton M. Tutorial for cadence simvision verilog simulator tool. – South-ern Methodist University, 2013. – 9 р.</mixed-citation></ref><ref id="B3"><label>3.</label><mixed-citation xml:lang="ru">Hima Bindu Kommuru, Hamid Mahmoodi. ASIC design flow tutorial using synopsys tools. – San Francisco: State University San Francisco, 2009. – 124 р.</mixed-citation></ref><ref id="B4"><label>4.</label><mixed-citation xml:lang="ru">Шалагинов А. Изучаем Active-HDL // Компоненты и технологии. – URL: http://www.kit-e.ru/articles/circuit/2009_03_134.php (дата обращения: 18.09.2018).</mixed-citation></ref><ref id="B5"><label>5.</label><mixed-citation xml:lang="ru">Synthesis and simulation design guide. – Xilinx, 2007. – 218 р.</mixed-citation></ref><ref id="B6"><label>6.</label><mixed-citation xml:lang="ru">ModelSim-altera software simulation. User Guide. – Altera, 2013. – 12 р.</mixed-citation></ref><ref id="B7"><label>7.</label><mixed-citation xml:lang="ru">User Guide // Icarus Verilog. – URL: http://iverilog.wikia.com/wiki/User_Guide (дата обращения: 24.09.2018).</mixed-citation></ref><ref id="B8"><label>8.</label><mixed-citation xml:lang="ru">ГОСТ 16504-81. Испытания и контроль качества продукции. – М., 1991. – 24 c.</mixed-citation></ref><ref id="B9"><label>9.</label><mixed-citation xml:lang="ru">Основные показатели и формула для расчета производительности труда // Делать Дело. Кадровое делопроизводство. – URL: https://delatdelo.com/spravochnik/osnovy-biznesa/proizvoditelnost/truda-formula-rascheta.html (дата обращения: 24.10.2018).</mixed-citation></ref><ref id="B10"><label>10.</label><mixed-citation xml:lang="ru">Волновой алгоритм поиска пути. Статьи и студенческие работы. – URL: http://www.100byte.ru/100btwrks/wv/wv.html (дата обращения: 24.10.2018).</mixed-citation></ref><ref id="B11"><label>11.</label><mixed-citation xml:lang="ru">ГОСТ 19.701-90. Схемы алгоритмов, программ, данных и систем. – М., 1990. 26 с.</mixed-citation></ref></ref-list>    
  </back>
</article>
