<?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="udk">004.942</article-id><article-categories><subj-group><subject>Информационные технологии</subject></subj-group></article-categories><title-group><article-title xml:lang="en">Verification of an Algebraic Block Hardware Description in MatLab Packet</article-title><trans-title-group xml:lang="ru"><trans-title>Верификация аппаратных описаний алгебраических блоков в среде MatLab</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>Sergeevich</surname><given-names>Poperechnyy Pavel</given-names></name></name-alternatives><string-name xml:lang="en">Poperechnyy Pavel Sergeevich</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>Belyaev Andrey</given-names></name></name-alternatives><string-name xml:lang="en">Belyaev Andrey Aleksandrovich</string-name><xref ref-type="aff" rid="AFF-2"/></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>Yurevna</surname><given-names>Kolesnikova Irina</given-names></name></name-alternatives><string-name xml:lang="en">Kolesnikova Irina Yurevna</string-name><xref ref-type="aff" rid="AFF-3"/></contrib><aff id="AFF-1" xml:lang="ru">ОАО Научно-производственный центр «ЭЛВИС» (г. Москва); Институт проблем проектирования в микроэлектронике Российской академии наук (г. Москва)</aff><aff id="AFF-2" xml:lang="ru">ГУП НПЦ «ЭЛВИС» (г. Москва)</aff><aff id="AFF-3" xml:lang="ru">ОАО Научно-производственный центр «ЭЛВИС» (г. Москва)</aff></contrib-group><fpage>173</fpage><lpage>178</lpage><self-uri>http://ivuz-e.ru/issues/2-_2016/verifikatsiya_apparatnykh_opisaniy_algebraicheskikh_blokov_v_srede_matlab/</self-uri><self-uri content-type="pdf">http://ivuz-e.ru/download/2_2016_1810.pdf</self-uri><abstract xml:lang="en"><p>The method of building the Reed-Solomon (RS) algebraic coding circuits using the digital filters has been proposed. This approach permits to use the digital filtration methods (partition to the lower order filters, conveyorization) for the purpose to change the code correcting capability. To verify the developed coding block it has been proposed to compare the coding algebraic results for random data with the standard (available in the MatLab library) block of the Reed-Solomon coder. The developed coder circuits for general case with the possibility to change the parameters for any code have been given. The complete cycle of verification with the comparison of the results with the standard coder, the tests coverage, the capability of debugging and error-correction of the initial hardware description has been performed.</p></abstract><trans-abstract xml:lang="ru"><p>Предложен способ построения схем алгебраического кодирования Рида - Соломона с помощью цифровых фильтров. Данный подход позволяет использовать способы цифровой фильтрации &amp;#40;разбиение на фильтры меньшего порядка, конвейеризацию&amp;#41; с целью изменения корректирующей способности кода. Для верификации разработанного блока кодирования предложено сравнивать алгебраические результаты кодирования для случайных данных с имеющимся в библиотеке MatLab эталонным блоком кодера Рида - Соломона. Приведены схемы разработанного кодера для общего случая с возможностью изменять параметры под любой код. Проведен полный цикл верификации со сравнением результатов с эталонным кодером, покрытием тестами, возможностью отладки и корректировки исходного аппаратного описания.</p></trans-abstract><kwd-group xml:lang="ru"><kwd>кодирование Рида - Соломона</kwd><kwd>корректирующая способность</kwd><kwd>регистр с линейной обратной связью</kwd><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">Блейхут Р. Теория и практика кодов, контролирующих ошибки.  М.: Мир, 1986.  576 с.</mixed-citation></ref><ref id="B2"><label>2.</label><mixed-citation xml:lang="ru">Вернер М. Основы кодирования.  М.: Техносфера, 2004. – 288 с.</mixed-citation></ref><ref id="B3"><label>3.</label><mixed-citation xml:lang="ru">Морелос-Сарагоса Р. Искусство помехоустойчивого кодирования. Методы, алго-ритмы, применение. – М.: Техносфера, 2005. – 320 с.</mixed-citation></ref><ref id="B4"><label>4.</label><mixed-citation xml:lang="ru">Кириллов С.Н., Семин Д.С. Модифицированный помехозащищенный кодер на ос-нове БИХ-фильтра // Вестник РГРТУ.  2009.  № 2.</mixed-citation></ref><ref id="B5"><label>5.</label><mixed-citation xml:lang="ru">The MathWorks.Inc, HDL-Verifier.  URL: http://www.mathworks.com/products/hdl-verifier/webinars.html/ (дата обращения: 8 ноября 2015 г.)</mixed-citation></ref></ref-list>    
  </back>
</article>
