- •Лекция 1 Интегральные схемы
- •Классификация интегральных схем
- •1.1.1. Матрицы стандартных ячеек
- •1.1.2. Программируемые логические матрицы
- •1.1.3. Аналоговые матрицы (ам)
- •Классификация параметров интегральных схем
- •Лекция 2 Принципы проектирования Она всегда давала хорошие советы,хотя следовала им нечасто.
- •Классификация методов проектирования
- •Лекция 3 Этапы проектирования ис
- •Особенности проектирования ис
- •Разработка спецификации
- •Проектные процедуры процесса проектирования
- •4.1. Методология разработки
- •О подготовке кадров
- •Классификация сапр
- •4.3.1. По назначению систем
- •По способу организации информационных потоков
- •По специализации программных средств
- •По способу организации внутренней структуры сапр
- •По возможности функционального расширения системы пользователем
- •6.1. Автоматизация проектирования полузаказных бис
- •Автоматизация проектирования заказных бис
- •Лекция 7 Компонентное проектирование Подумать только, что из-за какой-то вещи можно так уменьшится,что превратиться в ничто
- •8.1. Построение математической модели бис
- •Вольт-амперные характеристики двухполюсников
- •8.2. Методы формирования математических моделей ис
- •8.2.1. Пример формирования ммс муп
- •8.3. Специфика математических моделей бис
- •8.4. Основы динамического анализа электронных схем
- •Явный метод Эйлера;
- •Неявный метод Эйлера;
- •Метод трапеций.
- •8.5. Итерационные методы решения систем нелинейных алгебраических уравнений
- •8.6. Методы решения систем линейных уравнений (слау)
- •8.6.1. «Точные» методы
- •8.6.2. Итерационные методы
- •8.6.2.1Метод простых итераций
- •8.6.2.2. Метод Гаусса-Зейделя (метод последовательных замещений)
- •9.1. Функциональные модели
- •9.1.1. Модели комбинационных схем
- •Модели последовательностных схем
- •10.1. Общие принципы логического моделирования
- •10.2. Модели сигналов
- •10.3. Компьютерные модели
- •10.4. Синхронное и асинхронное моделирование
- •10.5. Событийное моделирование
- •10.6. Риски сбоя
- •11.1. Терминология
- •11.2. Правила проектирования топологии Мида-Конвей
- •11.3. Проверка на кто
- •11.4. Проверка соответствия топологии кристалла электрической схеме
- •Лекция 12 сапр Synopsys
- •Системный уровень
- •Логический или вентильный уровень
- •Топологический уровень
10.1. Общие принципы логического моделирования
Исходной информацией для программ логического моделирования является описание схемы ЦС в виде сети, вершинами которой являются логические элементы, входы и выходы. Практически каждая система моделирования имеет свои языковые средства для описания схемы ЦС и входных воздействий (тестов).
Далее описание схемы транслируется в некоторое внутреннее машинное представление, которое позволяет эффективно выполнять собственно процесс моделирования.
Процесс логического моделирования состоит из подачи на внешние входы модели ЦС некоторого входного воздействия и последовательного от входов схемы к ее выходам вычисления значений выходов логических элементов и получения, таким образом, выходной реакции на заданное входное воздействие. Этот процесс может быть организован по-разному в зависимости от применяемых методов моделирования. Основными отличительными чертами методов логического моделирования являются:
Модель сигналов;
Модель схемы в компьютере;
Способ учета времени распространения сигналов в ЦС;
Управление очерёдностью моделирования логических элементов.
В зависимости от применяемых моделей сигналов методы делятся:
По алфавиту – на двоичные и многозначные;
По используемой модели схемы в компьютере – на интерпретативные и компилятивные;
По учёту распространения сигналов – на синхронные (без учета задержек логических элементов) и асинхронные (с учетом задержек);
По очередности моделирования логических элементов – сквозные и событийные.
Основными характеристиками алгоритмов логического моделирования является адекватность, быстродействие и объём памяти, необходимый при реализации. При этом под адекватностью понимается степень соответствия результатов моделирования реальному поведению исследуемого ЦС.
Адекватность моделирования зависит, в основном, от используемой модели ЦС, моделей логических элементов и сигналов, способа учёта временных соотношений между сигналами. Обычно повышение степени адекватности связано со снижением быстродействия и увеличением обходимого объёма памяти. Самыми быстрыми являются алгоритмы моделирования в двоичном алфавите без учёта задержек. Учёт задержек элементов снижает быстродействие. Анализ переходных процессов требует увеличения числа знаков алфавита.
10.2. Модели сигналов
В процессе моделирования входные, выходные и внутренние переменные логических элементов схемы принимают значения из алфавита моделирования, используемого в данной системе моделирования. Моделью сигнала называют соответствие между символами алфавита и реальными физическими сигналами.
Простейшим является двоичный алфавит(0,1), в котором, как правило, 0 соответствует низкому уровню сигнала, а 1– высокому.
Троичный алфавит–(0, 1, X), где X–либо переход из одного состояния в другое, либо неопределённое состояние.
Пятизначный алфавит–(0,1, X, h, l), где X– неопределённое значение сигнала, h–переход из 0 в 1, l– переход из 1 и 0.
В настоящее время существует множество многозначных алфавитов, которые применяются в логическом моделировании и генерации тестов. Большая часть из них включается в универсальную систему многозначных алфавитов.