Методы и алгоритмы логического моделирования цифровых систем

• Автор: Телот Гонсалес, Хулио Альфредо
• Шифр специальности: 05.13.12
• Научная степень: Кандидатская
• Год защиты: 1985
• Место защиты: Киев
• Количество страниц: 213 c. : ил

2
СОДЕРЕАНКЕ
ВВЕДЕНИЕ .

ГЛАВА I. СПОСОБЫ ЛОГИЧЕСКОГО ИОДШРОВЛНИЯ ЦИФРОВЫХ СХЕМ

5 Общие положения . . .Ю

1.2. Анализ методов логического моделирования цифровых схем.II

1.3, Модели, используемые при логическом моделировании цифровых схем

5 1.4. Многозначное моделирование

1.5. Ранжирование логических элементов в схеме .

1.6. Лингвистическое обеспечение логического моделирования цифровых схем

Выводи к главе I.

ГЛАВА П. МОДЕЛИРОВАНИЕ Щ0РОШХ СХЕМ БЕЗ УЧЕТА ЗРЕКЕШШХ ЗАДЕКЕК ЭЛЕМЕНТОВ
5 2.1. Двухзначное моделирование . .
2.2. Двухзначное параллельное моделирование.
2.3. Трехзначное моделирование
2.4. Трехзначкое параллельное моделирование.
5 2.5. Ранжирование элементов цифровых схем
Выводы к главе П.
ГЛАВА . МОДЕЛИРОВАНИЕ С У ЧЕТОК ВРЕМЕННЫХ ЗАДЕРЕЕК ЭЛЕМЕНТОВ
5 3.1. Анализ переходных процессов в схемах методом моделирования
3.2. Модель задержки
5 3.3. Обнаружение гонок и статических помех при моделировании цифровых схем .
3.4. Моделирование процесса прохождения ложных сигналов через цифровую схему.
3.5. Моделирование цифровых схем с использованием мно
гозначнои логики к номограмм .
Выводы к глазе Ш
ГЛАВА Г. МАШИННАЯ РЕАЛИЗАЦИЯ АЛГОРИТМОВ ЛОГИЧЕСКОГО МОДЕЛИРОВАНИЯ ЦИФРОВЫХ СХЕП 4.1. Программа ранжирования элементов цифровых схем ИЗ
4 .2. Программа двухзначного моделирования
4.3. Программа трехзиачного моделирования
4.4. Программа параллельного моделирования.
4.5. Программа логического моделирования с учетом
временных задержек элементов для ЭВП I. 9 4.6. Программа моделирования цифровых схем с учетом
временных задержек элементов и ложных сигналов 0 4.7. Программа логического моделирования цифровых
схем с использованием многозначной логики и
номограмм
Выводы к главе 1У
ЗАКЛЮЧЕНИЕ
ЛИТЕРАТУРА


Блок 4 данной блоксхемы учитывает тот факт, что моделирование оканчивается при совпадении результатов двух последовательных итераций, либо когда число итераций достигает максимального предела. Предварительное ранжирование ЦС ускоряет процесс асинхронного событийного моделирования . Кроме отмеченных методов, с целью достижения определенных
Присвоение значении входннм линиям. Включение в А последователей входных линий с изменившимися значениями. Вы вор из А очередною активного элемента в. Доетигну. Рис. Например, для ускорения процесса моделирования можно ис пользовать параллельное моделирование 1, , которое состоит в параллельной обработке информации во многих битах, так как каждый бит используется для хранения логического значения. Для эффективного использования оперативной памяти ЭВМ обычно программы делают на языке Ассемблере, изза чего теряется в определенной степени наглядность программы для пользователя. Одной из целей настоящей работы является программная реализация способа параллельного моделирования ЦС на языке ПЛ1, который обеспечивает обработку строк битов и выполнение над ними логических операций. Рассмотренные выше алгоритмы относятся к группе алгоритмов интерпретативного моделирования. Программы, реализованные на их основе, универсальны, потому, что пригодны для моделирования любой ЦС заданного класса. Текст программ остается неизменным при переходе от одной ЦС к другой, а меняются только списки данных. Изза необходимости поиска описаний элементов ЦС в списке замедляется процесс моделирования. ЦС к машинной программе, моделирующей поведение схемы. Данная программа содержит последовательность команд, которые обращаются непосредственно к элементам ЦС, поэтому в программе отсутствуют операции, связанные с обработкой списков, описывающих структуру ЦС. Примеры использования метода компиляции приводятся в 1,9 . Некоторыми недостатками данного метода является требование относительно высокой квалификации пользователя, так как приходится готовить исходную текстовую информацию на языке программирования, а также тот факт, что применение данного метода ограничивается комбинационными схемами. Еще один подход к логическому моделированию моделирование с использованием конечных автоматов Д,, , которое дает возможность иметь детальное представление о работе схем. В алгоритмах, реализующих такой подход используется множество состояний автомата в соответствии с количеством тактов времени. В некото рых случаях этот подход приводит к наглядным результатам, но сам процесс моделирования трудно отследить по программе, что может его существенно замедлить. ЦС А. ТР функция переходов. Обычно моделью Мура представляют элементы памяти, входящие в ЦС. В настоящей работе комбинационные логические элементы также представляются автоматами Мура, когда это целесообразно. Например, при логическом моделировании с учетом временных задержек элементов в качестве состояния элемента, кроме логического значения его выхода, используются также временные характеристики сигнала. При простом же двоичном моделировании вычисление состояния элемента производится по обычным логическим формулам. В разработанных программах используются интерпретативные методы моделирования с некоторыми индивидуальными особенностями. ЦС моделируются в предположении, что их начальное состояние состояние перед подачей на ЦС очередного входного вектора известно. Логическое моделирование ЦС реализуется как итерационный процесс по методу Зейделя , в дискретной интерпретации. О Х , у. X поданый на элемент входной вектор состояние ЦС перед моделированием 1 элемента. При проектировании ЦС, имеющих обратные связи, моделирование осуществляется в несколько проходов многопроходное моделирование, на каждом из которых решается система уравнений 1. Решение о необходимости еще одного прохода по схеме принимается в конце текущего прохода, если оказывается, что состояние хотя бы одной из обратных связей на данном проходе изменилось по сравнению с предыдущим проходом на первом проходе по сравнению с начальным состоянием Уо . При этом моделирование начинается с первого элемента,охваченного обратной связью, изменившей свое состояние.