Применение пятизначного моделирования для анализа работоспособности сложных цифровых устройств
Применение пятизначного моделирования для анализа работоспособности сложных цифровых устройств - раздел Транспорт, АВТОМАТИЗИРОВАННОЕ ПРОЕКТИРОВАНИЕ СЛОЖНЫХ СИСТЕМ Пятизначное Моделирование Позволяет Обнаружить Динамические Риски Сбоев В Схе...
Пятизначное моделирование позволяет обнаружить динамические риски сбоев в схемах.
Существенным в пятизначном моделировании является обозначение не только факта изменения сигнала, как это делается при троичном моделировании, но и характера изменения. Выделяется изменение сигнала 1®0, обозначается это изменение символом "L"; и изменение 0®1, обозначается это изменение "H". Неопределенное состояние обозначается "x".
Для двухвходового логического элемента "И", на вход которого подаются логические сигналы A и B, таблица истинности в этом случае выглядит следующим образом:
A
B
L
X
H
L
L
X
X
L
X
X
X
X
X
H
X
X
H
H
L
X
H
Для двухвходового логического элемента "ИЛИ", на вход которого подаются такие же логические сигналы A и B, таблица истинности принимает соответственно следующий вид:
A
B
L
X
H
L
X
H
L
L
L
X
X
X
X
X
X
X
H
H
X
X
H
Функционирование инвертора в пятизначном моделировании описывается таблицей истинности следующего вида:
A
L
X
H
B
H
X
L
Так же, как и в троичном моделировании, в пятизначном моделировании схема просчитывается не только для двух последовательных входных наборов A= (a1,. . . , ai,. . . ,an ) и B=(b1,. . .,bi,. . .,bn ), но и для промежуточного набора A/B, который формируется следующим образом:
A/B = (c1,. . . ,c i, . . .,cn),
где сi = L, если ai = 1 и bi = 0,
ci = H , если ai = 0 и bi = 1,
ci = ai , если ai = bi
для i = 1, 2, 3, ..., n.
Пример пятизначного моделирования комбинационной схемы для наборов A = {0,1,0} и B = {1,0,0}.
Риски сбоев в моделируемых схемах обнаруживаются по появлению состояния "x" на переходных наборах, причем для статического риска сбоя состояние цепи на наборах A и B одинаково, а для динамического - различно.
В данном примере при переходе от A к B статический риск сбоя имеется в цепи c5 , а динамический – в цепях c6 и c8, как это показано на рисунке:
Входные наборы
C1
C2
C3
C4
C5
C6
C7
C8
A
A/B
H
L
L
X
X
X
B
Принятая при многозначном моделировании идеализация предполагает произвольное соотношение задержек в элементах схемы. Вследствие этого при моделировании выявляются даже маловероятные случаи возникновения риска сбоя и критических ситуаций.
Таким образом, многозначное моделирование позволяет определить все возможные места рисков сбоев, даже тех, которые в реальных схемах не могут произойти. Асинхронное же моделирование, может пропускать некоторые случаи рисков сбоев.
Использование шин в системе OrCAD
Использование шин позволяет существенно облегчить процесс проектирования схемы устройства, а также задание входных сигналов этого устройства. Кроме того, используя шины, можно добиться вывода време
Иерархические блоки
Любой фрагмент схемы можно оформить в виде иерархического блока, символ которого представляет собой прямоугольник, и затем разместить его на схеме, что позволяет уменьшить ее размеры. Другое примен
Порядок выполнения работы
Ø Часть I
1. Создать проект моделирования устройств;
2. Выполнить проектирование и моделирование устройства первого иерархического уровня;
3. Выпо
Порядок выполнения работы
1. По таблично заданной функции получить ее аналитическое представление в СНДФ
2. Выполнить моделирование синтезированного устройства в системе OrCAD
3. Получить минимизированное
Асинхронное моделирование.
Асинхронный метод моделирования применяется для анализа переходных процессов в логических схемах. В этом методе учитывается время распространения сигналов в элементах и соединительных цепях схемы.
Порядок выполнения работы
Ø Исследование динамических характеристик цифровых элементов различных серий на примере элементов "НЕ"
6. Создать проект моделирования устройств;
Ключи, управляемые напряжением
Ключ, управляемый напряжением, находится в библиотеке BREAKOUT под именем Sbreak. Работу ключа можно описать следующим выражением:
Формирование многоступенчатой функции
Для формирования многоступенчатой функции при помощи ключей, управляемых напряжением необходимо выполнить следующие условия:
Ø Ввести на схему столько ключей, сколько должно быть вы
Цифро-аналоговые и аналого-цифровые преобразователи
Под гибридными компонентами понимают элементы вычислительной техники, которые осуществляют интерфейсную связь между цифровой и аналоговой частями моделируемого устройства. В частно
Моделирование аналого-цифрового преобразователя (АЦП)
В САПР OrCAD многоразрядные АЦП находятся в библиотеке BREAKOUT. Они предназначены для получения 8-ми, 10-ти и 12-ти разрядного цифрового кода, в зависимости от типа используемого
Моделирование цифро-аналогового преобразователя (ЦАП)
Цифро-аналоговые преобразователи (ЦАП) также находятся в библиотеке BREAKOUTи позволяют преобразовывать 8-ми, 10-ти и 12-ти разрядный цифровой код в аналоговый сигнал, напряжение к
Элементы библиотеки ABM
Библиотека ABM.slb содержит управляемые источники напряжения и тока, а также другие функциональные блоки. Некоторые, наиболее часто используемые элементы, сведены в таблицу 1.
Хотите получать на электронную почту самые свежие новости?
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Новости и инфо для студентов