А.В. Башкиров - к.т.н., доцент, кафедра конструирования и производства радиоаппаратуры, Воронежский государственный технический университет А.В. Муратов - д.т.н., профессор, зав. кафедрой конструирования и производства радиоаппаратуры, Воронежский государственный технический университет Ю.С. Науменко - аспирант, кафедра конструирования и производства радиоаппаратуры, Воронежский государственный технический университет А.В. Ситников - д.ф.-м.н., профессор, кафедра физики твердого тела, Воронежский государственный технический университет

Рассмотрена задача верификации модели декодера, применяемого в системе цифровой передачи данных. Верификация осуществляется на уровне RTL-модели такого декодера на уровне простейших алгоритмов функционирования. Для примера приведены модули сложения и умножения, а также генератор тестовых последовательностей, выдающий тестовые векторы в стандарте IEEE-754.