Четвёртый уровень

Программы автоматизации проектирования преобразуют схемные алгоритмы в систему логических выражений. [Последняя отражает логическую структуру проектируемой вычислительной машины. Логической структурой называется абстрактная модель, определяющая полный состав логических элементов вычислительной машины и связей между ними. Логические элементы (ЛЗ) представляют собой некоторые абстрактные устройства, реализующие соответствующие булевы функции. Они не обладают физическими характеристиками, срабатывают мгновенно и не имеют ограничения по числу входов. Системы булевых выражений записывают в документ, который называется логической структурой.

Математическое описание логической структуры задает модель четвертого уровня. Если автоматическое проектирование начинается с данного уровня, то для устранения ошибок в математическом описании необходимо провести моделирование логической структуры. Для устранения ошибок в описании попользуется временная диаграмма модели четвертого уровня. Система булевых выражений легко преобразуется в логические схемы, которые также отображают логическую структуру вычислительной машины. Логическими будем называть схемы, построенные из условных обозначений логаческих элементов путем их соединения по определенным правилам.