Моделирование трехзначное

Большие значения Гм обусловливают применение для анализа тестов наиболее экономичных методов моделирования логических и функциональных схем. Обычно используют параллельное синхронное трехзначное моделирование. Трехзначный алфавит целесообразен для отбраковки входных векторов Xft, приводящих к состязаниям сигналов в блоке, из-за которых результаты применения теста могут стать неопределенными. [c.259]

Трехзначное синхронное моделирование позволяет обнаружить статические риски сбоя. Статический риск сбоя выражается в появлении ложных сигналов на выходе схемы при неблагоприятном рассогласовании времен переключения входных сигналов. [c.192]

Асинхронные модели обычно используют с двузначным или трехзначным представлением переменных. Трехзначное асинхронное моделирование позволяет учесть разбросы задержек распространения сигналов в элементах. Пусть в момент времени ti на вход элемента приходит сигнал, изменяющий состояние элемента с О на 1с задержкой ts, лежащей в интервале [ зтш, /этах]. Тогда в асинхронной модели элемента значение выходной переменной [c.194]

Поясните сущность трехзначного асинхронного моделирования. [c.221]

Другим способом повышения эффективности является параллельное моделирование, основанное на том, что для представления логической переменной достаточно k разрядов, где k= в двузначном алфавите и в трехзначном. Тогда моделирование одной и той же схемы можно выполнять одновременно для m sjk различных наборов входных сигналов, где s — количество разрядов в разрядной сетке ЭВМ. Подобное параллельное моделирование эффективно используется при синтезе тестов для проверки логических схем, где требуется определить реакцию схемы на большое количество входных тестовых наборов. [c.253]

Различают статический и динамический риски сбоя. Статический риск сбоя иллюстрирует ситуация на рис. 3.15, если на два вход а элемента И могут приходить перепады сигналов в противоположных направлениях, как это показано на рис. 3.15, б. Если вместо идеального случая, когда оба перепада приходят в момент времени Г, перепады вследствие разброса задержек придут неодновременно, причем так, как показано на рис. 3.15, б, то на выходе элемента появляется импульс помехи, который может исказить работу всего устройства. Для устранения таких рисков сбоя нужно уметь их выявлять. С этой целью применяют трехзначное синхронное моделирование. [c.122]

Для простейшей схемы (рис. 3.15, а) результаты трехзначного моделирования представлены в табл. 3.7. [c.123]

При асинхронном троичном моделировании элементы вектора V представляются в трехзначном алфавите. В этом алфавите используются значения О, 1 и Неопределенное значение >fi присваивается сигналам на входах устройства во время переходного процесса— при переходах 0 1 или 1->0. Для определения сигналов на выходах элементов правила выполнения логических операций в двузначном алфавите дополняются следующими 0 > < = 0, [c.118]

Пятизначное синхронное моделирование проводится как и трехзначное путем решения системы логических уравнений для промежуточного и окончательного наборов. Динамический риск сбоя имеется в случае, если сочетание значений переменной на выходе некоторого переключающегося элемента в исходном, промежуточ- [c.121]

Трехзначное синхронное моделирование для очередного входного набора требует двукратного решения системы логических уравнений (5.5) — при промежуточных и окончательных значениях входных переменных. Если исходное и окончательное значения входной переменной совпадают, то ее промежуточное значение также совпадает с окончательным. При переходе входной переменной 0->1 или 1->-0 промежуточное значение является неопределенньщ Исходные и окончательные значения входных переменных могут быть только 1 или 0. В табл. 5.4 [c.121]

В качестве примера рассмотрим фрагмент логической схемы (рис. 5.7, а) и диаграмму сигналов при переключении триггера в единичное состояние (рис. 5.7,6). Задержка х в триггере заведомо больше задержки тг в инверторе (рис. 5.7,6), по выходу у нет риска сбоя. Однако обычное синхронное трехзначное моделирование в этих условиях показывает на риск сбоя, поскольку в линиях д, е, у имеются последовательности значений О—>(<—1, 1—О и 1—> <—1 соответственно. Для устранения этого недостатка в модели необходимо отразить то, что Т1>Т2. Это делается введением в модель схемы задержки в линию д и дополнительной переменной р (рис. 5.7,в). Задержку удобно интерпретировать как искусственный разрыв линии д и введение псевдовхода р. В алгоритм синхронного моделирования при этом вводится следующее правило значение р на псевдовходе, относящееся к данной итерации, принимается равным значению д, полученному на предыдущей итерации. Результаты синхронного моделирования в схеме 5.7, а при введении разрыва (задержки) показаны в табл. 5.5, откуда следует, что на выходе у нет риска сбоя. [c.122]

Метод параллельного моделирования наиболее прост. В однопроцессорной ЭВМ одновременно моделируются процессы в / /2 вариантах схемы, где У —число двоичных разрядов в разрядной сетке ЭВМ (предполагается, то для представления величины в трехзначном алфавите нужно два разряда). Пусть для символов трехзначного алфавита 1, О и > < выбраны двухразрядные коды 11, 00 и 01 соответственно. Выполнение оперядии с=Л Б над восемью вариантами схемы, в которых А имее значения О, 1, 1, О, 1, [c.124]

Энциклопедия по машиностроению XXL

Оборудование, материаловедение, механика и ...