Гаврилов С.В., Глебов А.А., Стемпковский А., Методы логического и логико-временного анализа цифровых КМОП СБИС
Наука, 2007 г., 978-5-02-036119-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
Литература
Об авторе
Последние поступления в рубрике "Тематика определяется"
Алиса Селезнева. Сто лет тому вперед Булычев Б.
Третья планета от солнца готова услышать голоса новых героев! Повесть Кира Булычёва «Сто лет тому вперёд» озвучили актёры Марк Эйдельштейн (он же сыграл Колю Герасимова в экранизации 2024 года) и Дарья Савичева (сериал «Беспринципные»). Шестиклассник Коля вдруг обнаруживает в обычной московской квартире машину времени.... | |
Странная история доктора Джекила и мистера Хайда Стивенсон Л.У.
Читает Алена Долецкая! Одно из первых произведений в жанре научной фантастики: мрачная готическая повесть о раздвоении личности и тёмной изнанке человеческой души. Генри Джекил, уважаемый в обществе врач и ученый, поставил неудачный эксперимент и материализовал тёмную часть своей личности.... | |
Этика Спиноза С.
Бенедикт Спиноза – основополагающая, веховая фигура в истории мировой философии. Учение Спинозы продолжает начатые Декартом революционные движения мысли в европейской философии, отрицая ценности былых веков, средневековую религиозную догматику и непререкаемость авторитетов.... |
Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Гаврилов С.В., Глебов А.А., Стемпковский А., Методы логического и логико-временного анализа цифровых КМОП СБИС в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.