17 Черемисинова Л. Д. обратное проектирование экстракция транзисторных подсхем КМОП-схема проходная транзисторная логика формат SPICE 2025 2026-01-02 10.37661/1816-0301-2025-22-4-82-93 Информатика Цели. Рассматривается проблема экстракции высокоуровневой структуры на уровне логических элементов из схемы на транзисторном уровне. Получение такого представления существенно снижает время выполнения верификации топологии СБИС на стадии ее проектирования и служит основой для перепроектирования интегральных схем. Целью исследования является разработка метода и программных средств выделения в КМОП-схемах блоков, представляющих трехстабильные элементы.Методы. Предлагаются методы распознавания подсхем, представляющих собой элементы с тремя состояниями, в частности трехстабильные инверторы. Задача сводится к поиску сначала КМОП-подсхем и подсхем передаточных элементов, а затем структур инверторов на их основе.Результаты. Разработаны программы на языке C++, реализующие методы извлечения элементов с тремя состояниями в плоском SPICE-описании транзисторной схемы и включения описаний соответствующих им блоков в иерархическое описание генерируемой логической сети.Заключение. Разработанные программы поиска трехстабильных инверторов  включены в программу декомпиляции транзисторных КМОП-схем и протестированы в ее составе на практических примерах схем транзисторного уровня. https://www.academjournals.by/publication/20208 https://www.academjournals.by/files/20081