Верификация аппаратных описаний алгебраических блоков в среде MatLab
Предложен способ построения схем алгебраического кодирования Рида – Соломона с помощью цифровых фильтров. Данный подход позволяет использовать способы цифровой фильтрации (разбиение на фильтры меньшего порядка, конвейеризацию) с целью изменения корректирующей способности кода. Для верификации разработанного блока кодирования предложено сравнивать алгебраические результаты кодирования для случайных данных с имеющимся в библиотеке MatLab эталонным блоком кодера Рида Соломона. Приведены схемы разработанного кодера для общего случая с возможностью изменять параметры под любой код. Проведен полный цикл верификации со сравнением результатов с эталонным кодером, покрытием тестами, возможностью отладки и корректировки исходного аппаратного описания.
Авторы
Тэги
Тематические рубрики
Предметные рубрики
В этом же номере:
Резюме по документу**
УДК 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 эталонным блоком кодера
Рида Соломона. <...> Приведены схемы разработанного кодера для общего
случая с возможностью изменять параметры под любой код. <...> Проведен
полный цикл верификации со сравнением результатов с эталонным кодером,
покрытием тестами, возможностью отладки и корректировки исходного
аппаратного описания. <...> Ключевые слова: кодирование Рида Соломона; корректирующая способность;
регистр с линейной обратной связью; фильтры с конечной/бесконечной импульсной
характеристикой; поле Галуа; верификация; покрытие тестами. <...> Кодирование Рида Соломона (РС) относится к алгебраическому кодированию
[1, 2]. <...> Это означает, что при верной реализации результат кодирования
(и декодирования) различными способами должен быть одинаковым. <...> Способ обеспечивает
надежную верификацию разработанного блока за счет сравнения его с библиотечным
эталоном, ускоряет процессы верификации и проверки устройства на основе
широкого набора входных воздействий. <...> (1)
Аппаратная реализация выражения (1) выполняется с помощью регистра с линейной
обратной связью (РЛОС), представленного на рис. <...> При необходимости <...>
** - вычисляется автоматически, возможны погрешности
Похожие документы: