УДК 004.942 Верификация аппаратных описаний алгебраических блоков в среде MatLab П.С. <...> Колесникова1 1ОАО Научно-производственный центр «ЭЛВИС» (г. Москва) 2Институт проблем проектирования в микроэлектронике Российской академии наук (г. Москва) Verification of an Algebraic Block Hardware Description in MatLab Packet P.S. <...> Kolesnikova1 1Open Joint-Stock Company Research and Development Center «ELVEES», Moscow 2Institute of Design Problems in Microelectronics of the Russian Academy of Sciences, Moscow Предложен способ построения схем алгебраического кодирования Рида – Соломона с помощью цифровых фильтров. <...> Данный подход позволяет использовать способы цифровой фильтрации (разбиение на фильтры меньшего порядка, конвейеризацию) с целью изменения корректирующей способности кода. <...> Для верификации разработанного блока кодирования предложено сравнивать алгебраические результаты кодирования для случайных данных с имеющимся в библиотеке MatLab эталонным блоком кодера Рида Соломона. <...> Приведены схемы разработанного кодера для общего случая с возможностью изменять параметры под любой код. <...> Проведен полный цикл верификации со сравнением результатов с эталонным кодером, покрытием тестами, возможностью отладки и корректировки исходного аппаратного описания. <...> Ключевые слова: кодирование Рида Соломона; корректирующая способность; регистр с линейной обратной связью; фильтры с конечной/бесконечной импульсной характеристикой; поле Галуа; верификация; покрытие тестами. <...> 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. <...> Кодирование Рида Соломона (РС) относится к алгебраическому кодированию [1, 2 <...>