Особенности формализации транзисторных схем логических элементов
Автор: Тюрин С.Ф.
Журнал: Вестник Пермского университета. Математика. Механика. Информатика @vestnik-psu-mmi
Рубрика: Информатика. Информационные системы
Статья в выпуске: 3 (42), 2018 года.
Бесплатный доступ
КМОП-схемы (комплементарная структура металл-оксид-полупроводник; англ. CMOS, complementary metal-oxide-semiconductor) как правило - последовательно-параллельные и описываются дизъюнктивной нормальной формой (ДНФ) реализуемых ими логических функций. С целью упрощения схемы применяют скобочную форму. Эти структуры могут быть описаны соответствующей цепочкой символов (словом). Однако в ряде случаев используют схемы, которые не могут быть описаны цепочками. Кроме того, иногда в схему вводят так называемые мостики-транзисторы. В статье анализируются особенности логического описания таких схем и предпринимается попытка их формализации.
Логическая функция, днф, кмоп-схема, логический элемент, транзистор
Короткий адрес: https://sciup.org/147245386
IDR: 147245386 | УДК: 681.32 | DOI: 10.17072/1993-0550-2018-3-129-133
Features of the transistors logic gates formalization
CMOS-circuits (complementary structure metal-oxide-semiconductor) are usually sequential-parallel and are described by the disjunctive normal form of the logical functions they realize. To simplify the scheme, a bracket form is used. An appropriate string of symbols can describe these structures. However, in a number of cases, schemes that can not be described by chains are used. In addition, sometimes the circuit introduces so-called bridge transistors. The article analyzes the features of the logical description of such schemes and attempts to formalize such schemes are made.
Список литературы Особенности формализации транзисторных схем логических элементов
- Степченков Ю.А., Денисов А.Н., Дьяченко Ю.Г., Гринфельд Ф.И., Филимоненко О.П., Морозов Н.В., Степченков Д.Ю. Библиотека элементов для проектирования самосинхронных полузаказных БМК микросхем серий 5503/5507 М.: ИПИ РАН, 2014. 296 с.
- Угрюмов Е.П. Цифровая схемотехника: учеб. пособие. 2-е изд., перераб. и доп. СПб.: БХВ-Петербург, 2007. 782 с.
- Тюрин С.Ф., Каменских А.Н. Методика комбинированного резервирования в самосинхронных схемах // Вестник Пермского университета. Серия: Математика. Механика. Информатика. 2016. № 4(35). С. 63-67.
- Тюрин С.Ф., Каменских А.Н. Формальная система вывода резервированных КМДП структур отказоустойчивых самосинхронных схем // Вестник Пермского национального исследовательского политехнического университета. Электротехника, информационные технологии, системы управления. 2016. № 2(18). С. 120-135.
- Строгонов А., Цыбин С. Программируемая коммутация ПЛИС: взгляд изнутри. URL: http://www.kite.ru/articles/plis/2010_11_56.php (дата обращения: 11.06.2017).
