Возможно, имелись в виду методы логического моделирования, которые используются в системах автоматизированного проектирования (САПР). 1 Некоторые отличия таких методов в разных системах:

• По алфавиту. 1 Методы могут быть двоичными и многозначными. 12 Многозначные алфавиты распространены при исследовании переходных процессов. 1
• По используемой модели схемы в компьютере. 1 Методы бывают интерпретативными (модель схемы представлена в виде ряда таблиц, связанных системой ссылок) и компилятивными (используется готовая скомпилированная машинная программа). 1
• По учёту распространения сигналов. 1 Методы делятся на синхронные (без учёта задержек логических элементов) и асинхронные (с учётом задержек). 12
• По очерёдности моделирования логических элементов. 1 Методы бывают сквозными и событийными. 1

Метод моделирования выбирается с учётом поставленной задачи. 2

Кроме того, в разных САПР могут отличаться, например, способы описания формы объектов, с которыми работают булевые операции. 4 Так, в программах, ориентированных на твердотельное моделирование (SolidWorks, Inventor), форма описывается не полигонами, а определённым алгоритмом, а полигональная сетка генерируется программой уже после проведения всех операций. 4