| |
Построение алгоритмов верификации функциональных моделей декодеров [Текст] / А. В. Башкиров, А. В. Муратов, Ю. С. Науменко, А. В. Ситников
// Радиотехника. XXI век. – 2014. – № 3. – С. 72-76.
Рассмотрена задача верификации модели декодера, применяемого в системе цифровой передачи данных. Верификация осуществляется на уровне RTL-модели такого декодера на уровне простейших алгоритмов функционирования. |
