Книги / Компьютерная литература / Программное обеспечение, сервисы, платформы / Проектирование. AutoCAD, ArchiCAD...

Методы логического и логико-временного анализа цифровых КМОП СБИС

Стемпковский Александр Леонидович, Гаврилов Сергей Витальевич, Глебов Алексей Львович

Код товара: 2432124

(0 оценок)Оценить

ОтзывНаписать отзыв

ВопросЗадать вопрос

1 / 2

-35%

151

232

Доставим в

г. Москва

Планируемая дата

26 апреля (Пт)

Курьером

бесплатно от 3 500 ₽

В пункт выдачи

от 77 ₽

бесплатно от 2 000 ₽

Точная стоимость доставки рассчитывается при оформлении заказа

Издательство:

Наука

Год издания:

Редактор:

Стемпковский Александр Леонидович

Описание

Характеристики

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

количество томов

количество страниц

220 стр.

переплет

Твёрдый переплёт

размеры

221x148x15 мм

страна изготовления

Россия

цвет

Жёлтый

тип бумаги

мелованная

формат

60x90/16 (145x215 мм)

ISBN

978-5-02-036119-5

стандарт

14 шт.

возрастная категория

18+ (нет данных)

вес

482 г

код в Майшоп

2432124

язык

русский

Содержание

Список сокращений
Введение
Глава 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
Литература

Отзывы

Вопросы

Поделитесь своим мнением об этом товаре с другими покупателями — будьте первыми!

Дарим бонусы за отзывы!

За какие отзывы можно получить бонусы?

За уникальные, информативные отзывы, прошедшие модерацию

Как получить больше бонусов за отзыв?

Публикуйте фото или видео к отзыву
Пишите отзывы на товары с меткой "Бонусы за отзыв"

Правила начисления бонусов

Задайте вопрос, чтобы узнать больше о товаре

Если вы обнаружили ошибку в описании товара «Методы логического и логико-временного анализа цифровых КМОП СБИС» (авторы: Стемпковский Александр Леонидович, Гаврилов Сергей Витальевич, Глебов Алексей Львович), то выделите её мышкой и нажмите Ctrl+Enter. Спасибо, что помогаете нам стать лучше!