Дата публикации: 2012

Дата публикации в реестре: 2021-08-05T17:47:05Z

Аннотация:

Предлагается единый подход к верификации проектов и направленному построению тестов контроля СБИС, представленных в потоковом виде на уровне RTL на языке VHDL с использованием арифметических, логических операторов и оператора If. Задача построения тестов и верификации проектов решается на основе КНФ-выполнимости некоторой системы булевых функций.

Тип: Статья