350 руб
Журнал «Радиотехника» №8 за 2012 г.
Статья в номере:
Принцип assert для решения задач поиска ошибок RTL кода при проектировании ПЛИС
Ключевые слова: верификация тестовые векторы тестирование RTL-кода проектирование ПЛИС
Авторы:
А.В. Башкиров - к.т.н., доцент, кафедра конструирования и производства радиоаппаратуры, Воронежский государственный технический университет
Аннотация:
Рассмотрена возможность применения принципа assert в верификационном окружении, позволяющего проводить выявления ошибки в RTL кода, а также проблемы возрастающей сложности проектов микроэлектронной техники, которые напрямую зависят от функциональной верификации в общем цикле разработки и верификации электронных изделий. Проведен краткий анализ особенностей функциональной верификации систем на кристалле, которая значительно усложняет процесс создания тестовых последовательностей для проведения качественной проверки работоспособности вновь разработанного проекта. Рассмотрены требования при выборе алгоритмов и математических моделей для верификационного окружения.
Страницы: 74-76
Список источников
  1. Сергиенко А.М.VHDL для проектирования вычислительных устройств. К.: ЧП «Корнейчук». ООО ТИД «ДС». 2003. 208 с.
  2. Pedroni  V.A. Circuit Design with VHDL. Cambridge, Massachusetts: MIT Press. 2004. 376 c.
  3. Яицков А.С. VHDL - язык описания аппаратных средств: Учеб. пособие / под. ред. B.C. Бурцева, Б.С. Митина. М.: Изд-во МАТИ-РГТУ «ЛАТМЭС». 1998. 119 с.
  4. Paxson V., Kahan W. A program for testing IEEE decimal-binary conversion. Technical report, University of California at Berkeley, USA. 1991.
  5. Система синтаксического и семантического контроля VHDL-описаний «VHDL-анализатор». Руководство пользователя. М.: РосНИИИС. 1991. 112 с.