Магазинов: 4, Цена: от 151 руб. посмотреть все

В книге систематически изложены основные результаты, полученные авторами в следующих областях: временной анализ цифровых КМОП-схем с учетом логических ограничений; статистический временной анализ; логический и логико-временной анализ помехоустойчивости цифровых КМОП-схем; алгоритмы характеризации элементов КМОП СБИС. Основой большинства предлагаемых здесь методов является анализ логики работы цифровой КМОП-схемы и использование ее в сочетании с методами статического временного анализа. Известные из литературы модели логического анализа формализованы и адаптированы к специфике цифровых КМОП-схем. Показана эффективность разработанных методов и их высокий потенциал при проектировании КМОП СБИС. Для научных работников и инженеров, специализирующихся в области методов математического моделирования САПР СБИС, а также для студентов и аспирантов соответствующих специальностей.

  My-Shop - 151 руб.   Буквоед - 319 руб.   Читай-Город - 319 руб.

Список сокращений
Введение
Глава 1
Основные понятия, термины, определения
1.1. Булева алгебра
1.2. Граф булевых функций
1.3. Отношение порядка в булевой алгебре
1.4. Двузначная булева алгебра (алгебра
логики)
1.5. Разложение Шеннона
1.6. Диаграммы двоичных решений
1.7. Классические канонические
представления
1.8. Логическая схема
1.9. Конечный автомат
1.10. КМОП-схема
1.11. Подсхемы элементов, связанных по
постоянному току
1.12.0ССС-граф
1.13. Верхняя и нижняя цепи КМОП-подсхемы
1.14. Стандартный КМОП-вентиль
1.15. Трехзначная логика
1.16. Четырехзначная логика
1.17. Алгебра атрибутов
Глава 2
Анализ логических корреляций в цифровых схемах
2.1. Анализ логических корреляций в схеме
на основе метода импликаций
2.2. Преимущества и недостатки метода
импликаций
2.3. Метод резолюций, модифицированный
для анализа логики цифровой КМОП-схемы
2.4. Редукция системы логических
ограничений на основе обобщенного метода
исключений Гаусса
2.5. Модифицированная генерация логических
импликаций в методе резолюций
2.6. Гиперграф логических ограничений
КМОП-схемы
2.7. Списки импликаций в методе резолюций
2.8. Распространение логических импликаций
в методе резолюций
2.9. Полный алгоритм генерации ограничений
на основе метода резолюций
2.10. Экспериментальные результаты
применения метода
резолюций
Глава 3
Методы временного и логико-временного анализа
цифровых
КМОП-схем
3.1. Обнаружение ложных путей в
статическом временном анализе на основе
логических импликаций
3.2. Временной анализ для межсоединений
3.3. Статистический временной анализ
Глава 4
Анализ помех в цифровых КМОП-схемах,
основанный на методе
резолюций
4.1. Метод резолюций, модифицированный
для анализа помех цифровой КМОП-схемы
4.2. Анализ помехоустойчивости цифровых
схем типа "домино"
4.3. Анализ помех, влияющих на задержку в
цифровых СБИС
Глава 5
Методы многоуровневого анализа быстродействия
цифровых КМОПСБИС"
5.1. Обзор современных стандартов
проектирования библиотек элементов СБИС
5.2. Характеризация логических элементов
5.3. Характеризация элементов памяти
5.4. Статический временной анализ на основе
моделей CCSM / ECSM
5.5. Электрическое моделирование на основе
моделей CCSM / ECSM
5.6. Реализация и практические результаты
Приложение
Современные стандарты проектирования
библиотек элементов
СБИС
П.1. Синтаксис библиотек стандартных элементов
в формате
Liberty
П.2. Описание используемых возможностей
формата
П.З. Формат NLDM
П.4. Формат CCS
П.5. Формат ECSM
Литература