КаталогКниг.РФ

Методы логического и логико-временного анализа цифровых КМОП СБИС (Стемпковский Александр Леонидович, Гаврилов Сергей Витальевич, Глебов Алексей Львович) ; Наука, 2007

Книга: Методы логического и логико-временного анализа цифровых КМОП СБИС (Стемпковский Александр Леонидович, Гаврилов Сергей Витальевич, Глебов Алексей Львович) ; Наука, 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
Литература

О книге

Автор(ы)
РазделМатематические науки
ИздательНаука
ISBN978-5-02-036119-5
Год издания2007
Количество страниц220
Формат147x222мм
Вес0.48кг
ПереплетТвердый переплёт
Возрастные ограничения12
Кол-во страниц220
Размеры60x90/16
Язык изданияРусский
Обложкатвердый переплёт

Отзывы (0)

    Добавить отзыв



    1 ms.

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

    Искать всё

     

    Радиоэлектроника. Связь - издательство "Наука"

    Электротехника. Электроника - издательство "Наука" »

    1 ms.

    Радиоэлектроника. Связь

    Категория 120 р. - 181 р.

    ADS
    закладки (0) сравнение (0)

     

    preloader

    10 ms