Методы логического и логико-временного анализа цифровых КМОП СБИС (Стемпковский Александр Леонидович, Гаврилов Сергей Витальевич, Глебов Алексей Львович) ; Наука, 2007
от 151 р. до 389 р.
Автор(ы): Глебов Алексей Львович; Стемпковский Александр Леонидович; Гаврилов Сергей Витальевич;
Издатель: Наука
ISBN: 978-5-02-036119-5
ID: SKU124234
Добавлено: 15.08.2021
Сравнить цены
Цена от 151 р. до 389 р. в 5 магазинах
Магазин | Цена | Наличие |
---|---|---|
Лабиринт 5/5 | 161 р. 248 р. | |
Буквоед 5/5 | 389 р. Минимальная сумма заказа 100 рублей | |
Book24 5/5 | 319 р. | |
Яндекс.Маркет 5/5 | 425 р. | наличие уточняйте 09.05.2024 |
МАЙШОП 5/5 | 151 р. 232 р. | |
Читай-город 5/5 | ||
Описание
В книге систематически изложены основные результаты, полученные авторами в следующих областях: временной анализ цифровых КМОП-схем с учетом логических ограничений; статистический временной анализ; логический и логико-временной анализ помехоустойчивости цифровых КМОП-схем; алгоритмы характеризации элементов КМОП СБИС.
Основой большинства предлагаемых здесь методов является анализ логики работы цифровой КМОП-схемы и использование ее в сочетании с методами статического временного анализа. Известные из литературы модели логического анализа формализованы и адаптированы к специфике цифровых КМОП-схем. Показана эффективность разработанных методов и их высокий потенциал при проектировании КМОП СБИС.
Для научных работников и инженеров, специализирующихся в области методов математического моделирования САПР СБИС, а также для студентов и аспирантов соответствующих специальностей.
Основой большинства предлагаемых здесь методов является анализ логики работы цифровой КМОП-схемы и использование ее в сочетании с методами статического временного анализа. Известные из литературы модели логического анализа формализованы и адаптированы к специфике цифровых КМОП-схем. Показана эффективность разработанных методов и их высокий потенциал при проектировании КМОП СБИС.
Для научных работников и инженеров, специализирующихся в области методов математического моделирования САПР СБИС, а также для студентов и аспирантов соответствующих специальностей.
Смотри также Характеристики.
Яндекс.Маркет
Содержание
Список сокращений
Введение
Глава 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
Литература
Введение
Глава 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
Литература
О книге
Автор(ы) | Стемпковский Александр Леонидович, Гаврилов Сергей Витальевич, Глебов Алексей Львович |
Раздел | Математические науки |
Издатель | Наука |
ISBN | 978-5-02-036119-5 |
Год издания | 2007 |
Количество страниц | 220 |
Формат | 147x222мм |
Вес | 0.48кг |
Переплет | Твердый переплёт |
Возрастные ограничения | 12 |
Кол-во страниц | 220 |
Размеры | 60x90/16 |
Язык издания | Русский |
Обложка | твердый переплёт |
1 ms.
Книги где авторы: Стемпковский Александр Леонидович, Гаврилов Сергей Витальевич, Глебов Алексей Львович
Радиоэлектроника. Связь - издательство "Наука"
Электротехника. Электроника - издательство "Наука" »
1 ms.
Радиоэлектроника. Связь
Категория 120 р. - 181 р.