Чтобы сгенерировать тест, а, если понадобится, и тестопригодные изменения, нужен Netlist для Вашей схемы. Он должен включать в себя : название Вашей схемы, порты, элементы и цепи.

Например, листинг *.rpt из CAD MAX Plus II для схемы, спроектированной с использованием PLD фирмы Altera содержит эти все эти сведения.

Помните, что мы можем автоматически сгенерировать тест, если:

схема тестопригодна
верификация успешна
схема неизбыточна
шины (если они есть) состоятельны /всегда источник сигнала - единственный/
любой генератор импульса (если он есть) можно изолировать
любой элемент ЦЕНТРАЛЬНОГО ПРОЦЕССОРА (если он есть) можно изолировать
ОПЕРАТИВНУЮ ПАМЯТЬ (если она есть) можно адресовать с внешнего разъёма
можно разделить при тестированиии аналоговые и цифровые элементы

Очень важно для автоматической Системы Генерации тестов, чтобы предварительно была выполнена верификация. Автоматический генератор теста (ATPG) может создать тест для произвольной схемы, но Вам-то хочется, чтоб он был именно для Вашей схемы. Верификация возможна по трем сценариям с дополнительным анализом состоятельности шин :

если тест верификации у Вас есть, вышлите его нам, чтоб проверить модель
если теста верификации у Вас нет, мы можем автоматически спроектировать такой тест, с тем, чтобы Вы его обязательно просмотрели
еще лучше прислать имеющийся тест верификации и заказать автоматический
усовершенствовать верификацию можно, заказав дополнительно автоматический анализ состоятельности шин Вашей схемы. Сначала мы найдем все источники сигналов в каждой шине. Затем мы попробуем поискать в каждой шине пару сигналов, совместимых в один и тот же момент времени. Если это так, то соответствующая шина несостоятельна - Вам будут предоставлены найденные контрпримеры

Hosted by uCoz