|
|
Чтобы сгенерировать тест, а, если понадобится, и тестопригодные изменения, нужен Netlist для Вашей схемы. Он должен включать в себя : название Вашей схемы, порты, элементы и цепи.
Например, листинг *.rpt из CAD MAX Plus II для схемы, спроектированной с использованием PLD фирмы Altera содержит эти все эти сведения.
Помните, что мы можем автоматически сгенерировать тест, если:
 |
схема тестопригодна |
|
верификация успешна |
|
схема неизбыточна |
|
шины (если они есть) состоятельны /всегда источник сигнала - единственный/
|
|
любой генератор импульса (если он есть) можно изолировать
|
|
любой элемент ЦЕНТРАЛЬНОГО ПРОЦЕССОРА (если он есть) можно изолировать |
|
ОПЕРАТИВНУЮ ПАМЯТЬ (если она есть) можно адресовать с внешнего разъёма |
|
можно разделить при тестированиии аналоговые и цифровые элементы |
Очень важно для автоматической Системы Генерации тестов, чтобы
предварительно была выполнена верификация. Автоматический генератор
теста (ATPG) может создать тест для произвольной схемы, но Вам-то хочется,
чтоб он был именно для Вашей схемы. Верификация возможна по трем сценариям
с дополнительным анализом состоятельности шин :
|
если тест верификации у Вас есть, вышлите его нам, чтоб проверить модель |
|
если теста верификации у Вас нет, мы можем автоматически спроектировать такой тест, с тем, чтобы Вы его обязательно просмотрели |
|
еще лучше прислать имеющийся тест верификации и заказать автоматический |
|
усовершенствовать верификацию можно, заказав дополнительно автоматический анализ состоятельности шин Вашей схемы. Сначала мы найдем все источники сигналов в каждой шине. Затем мы попробуем поискать в каждой шине пару сигналов, совместимых в один и тот же момент времени. Если это так, то соответствующая шина несостоятельна - Вам будут предоставлены найденные контрпримеры |
|
. |
