|
Добрый день можно поинтересоваться где брать литературу предложенную в курсе ?Большинство книг я не могу найти в известных источниках |
Московский государственный университет путей сообщения
Опубликован: 06.09.2012 | Доступ: свободный | Студентов: 1232 / 168 | Оценка: 5.00 / 5.00 | Длительность: 35:22:00
Темы: САПР, Аппаратное обеспечение
Специальности: Разработчик аппаратуры
Теги:
Лекция 4:
Модели логических элементов
Аннотация: В лекции рассмотрены модели логических элементов в различных в двоичном и многозначных алфавитах. Введены табличные и функциональные модели элементов в различных алфавитах. Определены различные модели задержки для элементов.
Ключевые слова: моделирование, супервизор, вычисление, алфавит, двоичный алфавит, табличная модель, операция конъюнкции, программная модель, структурная модель, альтернативный граф, вентиль, выход, значение, многозначный алфавит, компонентная модель, дизъюнктивная нормальная форма, достоверность, транспортная задержка, логический, логическая функция, задержка распространения, время задержки, анализ, логическое моделирование, временные диаграммы, деление, задний фронт сигнала, место, диапазон, инерционная задержка, входной, сочетания, путь, каскадная модель
Модели логических элементов в двоичном алфавите
Моделирование ДУ в конечном счете сводится к моделированию функций отдельных логических элементов, которые используются программой супервизором. Моделирование одного комбинационного логического элемента есть вычисление значений его выходных переменных по заданным входным значениям. Для элемента с памятью необходимо вычислить значения его выходов и переменных следующего состояния по заданным входным значениям и текущему состоянию. Метод вычисления зависит от многих факторов, таких как тип элемента, алфавит моделирования системы, способ хранения входных значений и т.п. [ 2.4 ] .
Таблицы истинности
Сначала рассмотрим модели логических элементов в двоичном алфавите. Простейшей моделью логического элемента комбинационного базиса в двоичном алфавите является табличная модель, реализующая его таблицу истинности, рассмотренная в
"Модели цифровых устройств"
. Пусть значения булевой функции хранятся в одномерном битовом массиве ![V[i]](/sites/default/files/tex_cache/43a81297dfa427190c32375f08f12e80.png)
. При вычислении значения выхода с помощью таблицы истинности необходимо выполнить следующие действия:
- сформировать из двоичных значений входов одно двоичное слово;
- перевести это двоичное слово в целое число –
; - определить значение выхода
![z=y[i]](/sites/default/files/tex_cache/148cd3dfe865911e0c2d51bdea8dca0f.png)
.
Рассмотрим для примера таблицу истинности вентиля 
с тремя входами, представленную в табл.4.1.
При этом в памяти компьютера хранятся только значения функции (столбец 
для нашего примера). Вычисление значения выхода элемента по данным значениям входов сводится к получению индекса и выборке с его помощью нужного значения. Пусть для определенности в нашем примере входные значения 
дают индекс 
массива ; таким образом, получаем ![Y[5]=0](/sites/default/files/tex_cache/71e2e8a53d2a4c9d566d59de78dfeef7.png)
. Несмотря на свою простоту, это очень эффективный и быстрый метод вычисления. Но, очевидно, при увеличении числа входов он требует больших затрат памяти.
Таблицы zoom
При использовании таблиц истинности в моделировании необходимо сначала определить тип соответствующего логического элемента. Поэтому определение типа элемента и собственно вычисление выходного значения выполняются в два этапа. Эти два шага можно объединить в один следующим образом
[
2.5
]
. Пусть 
является номером типа элемента и 
- максимальный размер таблицы истинности (для всех типов). Тогда можно построить таблицу zoom размера 
, в которой хранятся таблиц истинности, которые начинаются с позиции 
. Для вычисления значения выхода элемента с использованием такой таблицы необходимо упаковать тип элемента и значения его входов в одно слово, которое определяет индекс в таблице zoom, как это показано на рис.4.1.
Применение zoom таблиц позволяет значительно ускорить процесс вычислений, поскольку заменяет последовательность вычислений одним шагом выборки необходимого значения.
Программные функциональные модели
Очень распространенным методом построения моделей является составление программы с помощью логических операторов языка высокого уровня (например, C) или ассемблера непосредственно по логическому выражению булевой функции или логической схеме, построенному с помощью операций конъюнкции, дизъюнкции и отрицания (иногда и 
).
В отличие от предыдущих табличных методов, в которых модель элемента представлена фактически структурой данных, а сама программа вычисления значения выхода является универсальной, здесь модель элемента представляется непосредственно программой (и она уникальна для каждого типа элемента). Часто программная модель компилируется на основе структурной модели автоматически. Рассмотрим этот метод на примере схемы, представленной на рис.4.2.
С использованием языка программирования С эта схема моделируется следующим образом:
Эта программа компилируется в машинный код и далее используется при моделировании путем вызова соответствующей функции.
С применением ассемблера модель этой схемы (представляющей логический элемент) имеет следующий вид.
Алгоритмические функциональные модели
При этом подходе функционирование элемента задается с помощью некоторого алгоритма. Например, для вентиля
это можно сделать следующим образом:
Этот метод широко используется на функциональном уровне ЯРП поскольку позволяет, например, описать систему команд микропроцессора.
При построении моделей логических элементов применяются также альтернативные графы (двоичные диаграммы) и т.п.
Дмитрий Медведевских