Построение алгоритмов верификации функциональных моделей декодеров
- 1 к.т.н., доцент, кафедра конструирования и производства радиоаппаратуры, Воронежский государственный технический университет
- 2 д.т.н., профессор, зав. кафедрой конструирования и производства радиоаппаратуры, Воронежский государственный технический университет
- 3 аспирант, кафедра конструирования и производства радиоаппаратуры, Воронежский государственный технический университет
- 4 д.ф.-м.н., профессор, кафедра физики твердого тела, Воронежский государственный технический университет
Аннотация
Рассмотрена задача верификации модели декодера, применяемого в системе цифровой передачи данных. Верификация осуществляется на уровне RTL-модели такого декодера на уровне простейших алгоритмов функционирования. Для примера приведены модули сложения и умножения, а также генератор тестовых последовательностей, выдающий тестовые векторы в стандарте IEEE-754.
Для цитирования
Башкиров А.В., Муратов А.В., Науменко Ю.С., Ситников А.В. Построение алгоритмов верификации функциональных моделей декодеров // Радиотехника. 2014. № 3. С. 72–76.
Список источников
- Башкиров А.В., Науменко Ю.С. Обзор методов турбокодирования в контексте сложности их аппаратной реализации / Радиотехника. 2012. № 8. С. 70-74.
- Башкиров А.В., Климов А.И., Науменко Ю.С. Недвоичные низкоплотностные коды: алгоритмы декодирования и их вычислительная сложность // Труды международного симпозиума «Надежность и качество». Пензенский государственный университет. 2013. Т. 2. № 1-1. С. 19.
- Уэйкерли Д.Ф. Проектирование цифровых устройств. Т. I. М.: Постмаркет. 2002. 1088 с.
- Блейхут Р. Быстрые алгоритмы цифровой обработки сигналов: пер. с англ. М.: Мир. 1989. 448 с.
- Система синтаксического и семантического контроля VHDL-описаний «VHDL-анализатор». Руководство пользователя. М.: РосНИИИС. 1991. 112 с.
- Wilcox P.Professional verification. A guide to advanced functional verification. Boston: Kluwer Academic Publishers. 2004. 208 c.
Полный текст, PDF
350 ₽