Cтраница 1
Проверка логической схемы дает ответ на вопрос о правильности концепций, которые положены в основу решения данной задачи. Проверка логической схемы производится по задачам. При этом должна быть установлена полнота отражения в задаче автоматизируемых функций, достаточность информации для решения задачи, а также достоверность математических соотношений, которые составляют основу алгоритма. Проверяются структура схемы, точки контроля, а также полнота описания всех блоков, система их нумерации и обозначений. Рассматривается логическая последовательность преобразования данных, анализируются информационные связи, циклы, ветви и дублирующие пути в схеме, входные и выходные документы, промежуточные данные и источники исходных данных. [1]
Для проверки логических схем программ программист разрабатывает специальные тесты. Тесты должны проверять всю логическую линию программы, как основную, так и второстепенные. Следует составлять не только правильные тесты, отвечающие, например, принятой упорядоченности данных, но и тесты, которые заставляют работать программу в условиях, на которые она не спроектирована, но которые могут возникнуть как аварийные в процессе эксплуатации всего комплекса. [2]
Результат проверки логической схемы должен документироваться для возможности корректировки в дальнейшем. [3]
Независимо от проверки логической схемы мы должны проверить достоверность математических уравнений. Отвечая на четвертый вопрос, следует убедиться в правильности всех математических уравнений. Если эти уравнения выведены на основании анализа эмпирических данных, то мы должны провести выборочную проверку согласия с опытными данными. Если уравнения получены теоретическим путем, могут быть проведены вычисления в нескольких точках с целью определения приемлемости результатов. Дополнительная проверка уравнений состоит в анализе размерностей. Необходимо убедиться, что все единицы измерений, например метры в секунду, применены в соответствии с физическим смыслом и что масштабирование проведено правильно, Должно быть проверено согласование размерностей в уравнениях. [4]
Задача логических пробников - упростить проверку логических схем, давая пользователю возможность наблюдать логические уровни без настройки и калибровки, которые необходимы при измерениях с помощью осциллографов. [5]
Последним шагом проектирования тестовой программы является проверка логической схемы модуля на чувствительность к различным входным характеристикам. Здесь же необходимо предусмотреть контроль границ обрабатываемых массивов. [6]
Проверка логической схемы дает ответ на вопрос о правильности концепций, которые положены в основу решения данной задачи. Проверка логической схемы производится по задачам. При этом должна быть установлена полнота отражения в задаче автоматизируемых функций, достаточность информации для решения задачи, а также достоверность математических соотношений, которые составляют основу алгоритма. Проверяются структура схемы, точки контроля, а также полнота описания всех блоков, система их нумерации и обозначений. Рассматривается логическая последовательность преобразования данных, анализируются информационные связи, циклы, ветви и дублирующие пути в схеме, входные и выходные документы, промежуточные данные и источники исходных данных. [7]
Можно также решить обратную задачу: зная требования к качественным показателям логических схем, рассчитать, какими должны быть возможные средние значения и отклонения параметров транзистора и компонентов схем, чтобы процент выхода годных схем был наибольшим. Отметим, что статистический метод предполагает 100 % - ную проверку готовых логических схем. [8]
С этой целью в каждый чип вводятся сдвигающие регистры, состоящие из ячеек по одной на каждый внешний вывод. Благодаря ячейкам можно при проверке соединений отключать внутрикристальные цепи, а при проверке логической схемы подключать или внутренние сканирующие регистры, или ( в случае BIST) генераторы тестовых наборов и схемы компрессии результатов. Для подключения платы к тестирующему по BS прибору достаточно пяти проводов. [9]
Другим способом повышения эффективности является параллельное моделирование, основанное на том, что для представления логической переменной достаточно k разрядов, где k 1 в двузначном алфавите и k2 в трехзначном. Подобное параллельное моделирование эффективно используется при синтезе тестов для проверки логических схем, где требуется определить реакцию схемы на большое количество входных тестовых наборов. [10]