2.6. Анализ кс методом асинхронного моделирования
Реальный логический элемент (ЛЭ) переключается за какое-то конечное время, зависящее от технологии изготовления, условий эксплуатации, емкостей нагрузки и т.д. Прохождение сигнала последовательно через несколько ЛЭ будет приводить к накоплению времени задержки и возникновению сдвига во времени выходного сигнала по отношению к входному сигналу. Наличие задержки и порождаемого ею временного сдвига сигналов может приводить к появлению на выходе отдельных логических элементов и всей схемы кратковременных сигналов, не соответствующих БФ, реализуемых схемой. В качестве иллюстрации рассмотрим схему рис. 2.7 а).
Данная схема реализует функцию , т.е. константу “0” независимо от входного сигнала. Однако в переходном процессе в результате задержки срабатывания ЛЭ возможна ситуация, когда на обоих входах элемента 2И будут логические единицы, что может привести к появлению на выходе схемы логической “1” (см. рис. 2.7 б). Рассмотренный случай возможен при задержке времени срабатывания второго элемента на величину большую, чем первого. Такое явление называетсяриском сбоя. Различают статистический и динамический риски сбоя.
Рис. 2.7. Статический риск сбоя: электронная схема,временные диаграммы, где- время задержки инвертора,- время задержки элемента 2И
При статическом риске сбоя до и после переходного процесса состояние выходного сигнала одно и то же, а во время переходного процесса возможно кратковременное появление противоположного сигнала.
При динамическом риске сбоя до и после переходного процесса состояния выходного сигнала противоположные, но в переходном процессе выходной сигнал может несколько раз изменять свое значение. Динамический риск сбоя возможен в схеме (рис. 2.8 а) при смене набора (,,) на набор (), что иллюстрируется временными диаграммами (рис. 2.8 б).
В данном примере динамический риск сбоя на выходе КС сопровождается статическим на выходе элемента 1. Как видно из временных диаграмм риск сбоя имеет место при наличии определенного временного сдвига между сигналами, поступающими на вход ЛЭ.
Нежелательные сигналы на выходе могут и отсутствовать при другом соотношении временных сигналов, однако принципиальная возможность их появления является фактором, снижающим надежность работы схемы. Поэтому очень важно уметь обнаруживать и устранять такие явления.
В данном примере динамический риск сбоя на выходе КС сопровождается статическим на выходе элемента 1. Как видно из временных диаграмм риск сбоя имеет место при наличии определенного временного сдвига между сигналами, поступающими на вход ЛЭ.
Рис. 2.8. Иллюстрация динамического риска сбоя для схемы
Нежелательные сигналы на выходе могут и отсутствовать при другом соотношении временных сигналов, однако принципиальная возможность их появления является фактором, снижающим надежность работы схемы. Поэтому очень важно уметь обнаруживать и устранять такие явления.
Для анализа процесса переключения КС при смене входных наборов и обнаружения рисков сбоя используется метод асинхронного моделирования. При этом методе считается, что каждый элемент переключается с одинаковой задержкой. Анализ включает такие этапы:
1.Каждому элементу схемы присваивается уровень, причем уровень 1 имеют элементы, все входы которых являются независимыми входами схемы.
2. Записываются уравнения, описывающие каждый ЛЭ в порядке убывания уровня.
3. Для исходного входного набора определяется значение сигналов на выходах всех логических элементов схемы. Пусть данный наборзаменяется набором.
4. Помечаются те уравнения, в правой части которых хотя бы одна из переменных изменила свое значение.
5. Решаются помеченные уравнения в порядке их записи в схеме. После решения уравнение считается непомеченным.
6. Если после решения всех уравнений системы переменные, входящие в левые части уравнений, изменили свои значения, то вновь помечаются те уравнения, в правые части которых входят эти переменные. Затем осуществляется переход к п. 5.
В противном случае моделирование данного входного набора считается законченным. Выполнение п. 5 называется тактом моделирования.
Анализ схемы (рис.2.8) методом асинхронного моделирования приведен ниже. Для данной схемы входной набор заменяется набором.
Пример. Выполнить анализ методом асинхронного моделирования КС, изображенной на рис. 2.8.
Запишем в таблице 2.12 уравнения, связывающие выходы ЛЭ и его входы и помечаем все уравнения, в правой части которых хотя бы одна из переменных изменила свое значение
Рис. 2.8. Комбинационная схема для метода асинхронного моделирования.
Результаты выполнения пункта 5 приведены в табл. 2.13.
Как следует из результатов моделирования, при смене набора наборомна выходе элемента 4 имеет место статический риск сбоя, а на выходе схемы - динамический риск сбоя. Радикальным способом устранения рисков сбоя является введение стробирования для снятия выходного сигнала комбинационной схемы.
Таблица 2.12
Уравнения связи выходов схемы с входами
уравнения 1-ый такт 2-ый такт 3-ый такт * * * * * * * * *
Таблица 2.13
Таблица моделирования схемы
Стробирующий импульс подается после окончания переходного процесса в КС (т.е. когда на выходе комбинационной схемы уже установилось необходимое значение выходного сигнала), что исключает влияние возможных сбоев на вырабатываемый схемой сигнал.
- Глава 1. Упрощение и минимизация логических функций
- 1.1. Задача минимизации булевых функций
- 1.2. Метод минимизирующих карт.
- 1.3. Метод Квайна и импликантные матрицы
- 1.4. Минимизация функций алгебры логики по методу Квайна - Мак-Класки
- 1.5. Минимизация конъюнктивных нормальных форм
- 1.6. Минимизация неполностью определенных булевых функций
- 1.7. Метод неопределенных коэффициентов
- Глава 2. Методы анализа и синтеза логических электронных схем
- 2.1. Логические операторы электронных схем или цепей
- 2.2. Канонический метод синтеза комбинационных схем.
- 2.3. Минимизация логических схем со многими выходами
- 2.4. Характеристики комбинационных схем
- 2.4. Задачи анализа электронных схем
- 2.5. Анализ комбинационных схем методом синхронного моделирования.
- 2.6. Анализ кс методом асинхронного моделирования
- Глава 3. Основы теории конечных автоматов
- 3.1. Определение абстрактного цифрового автомата
- 3.2. Табличное задание автоматов Мили и Мура
- 3.3. Графический способ задания автомата
- 3.4. Матричный способ задания автомата
- 3.5. Эквивалентность автоматов
- 3.6. Минимизация числа внутренних состояний полностью определенных автоматов
- Глава 4. Структурный цыфровой автомат
- 4.2.Элементарные цифровые автоматы – элементы памяти
- 4.3. Пример канонического метода структурного синтеза автомата
- 4.5. Управляющие и операторные автоматы
- 4.6. Способы описания алгоритмов и микропрограмм
- 4.8. Синтез автомата Мили
- 4.9. Структурный синтез автомата Мили
- Литература
- 1. Савельев а.Я. Прикладная теория цифровых автоматов. -м.: Высшая школа, 1987.
- Оглавление