Чем отличаются методы булевого моделирования в различных САПР системах?

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

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

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

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