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