ПОИСК Статьи Чертежи Таблицы Формальная верификация из "Проектирование на ПЛИС архитектура, средства и методы " Вы можете придерживаться другой точки зрения, но многие инженеры считают средства верификации (тестирования) наиболее важной частью в проектировании электронных устройств. Можно усердно работать за клавиатурой и разрабатывать HDL-код, но именно тестирование предоставляет проектировщику обратную связь, с помощью которой он может довести устройство до правильной реализации. [c.320] При верификации устройства очень важно знать уровень кодового покрытия, чтобы быть уверенным, что ваши тестовые задающие воздействия (ваш тестовый вектор) охватывают все тупиковые ситуации в устройстве. [c.321] В настоящее время overed выполняет четыре типа измерений анализ строк исходного кода, анализ переключения логических значений, комбинационный анализ и анализ конечных автоматов. [c.321] В наши дни весьма актуальным стал вопрос о том, как управлять однокристальными системами, в которых аппаратная и программная составляющие встраиваются в один кристалл. Многие ПЛИС также содержат в своём составе аппаратные процессорные ядра или позволяют реализовывать программные микропроцессоры см. также гл. 13). [c.321] Хотя аппаратное моделирование по-прежнему остаётся основным способом системной проверки, убедиться в правильности работы устройства вы можете только с помощью средств формальной верификации см. также гл. 19). В отличие от средств моделирования, формальная верификация математически доказывает, что реализация системы соответствует некоторой спецификации. [c.322] Вернуться к основной статье