|
|
Современные системы управления чаще всего основываются на общей модели
"система управления - объект управления" и обеспечивают организацию взаимодействия
между ее компонентами. Достаточно часто такое взаимодействие может быть
описано с помощью булевых (двоичных) переменных и тогда говорят о системах
логического управления (СЛУ). СЛУ находят широкое применение в самых различных
областях человеческой деятельности: на производстве, на транспорте, в
сетях связи и т.д. Система "Experimental system of automated design of
Logical Control devices" (LoCon) предназначена для автоматизированного
проектирования СЛУ и представляет собой совокупность информационно связанных
между собой подсистем, автоматизирующих этапы алгоритмического и логического
проектирования. Этап технического проектирования поддерживается до уровня
топологического размещения элементов схемы, представляющей собой регулярную
структуру заказной цифровой СБИС.
|
Технология проектирования в системе LOCON представляется в виде
последовательного преобразования модели алгоритма управления.
Подсистема обслуживания ПРАЛУ-описаний обеспечивает:
- ввод, редактирование, контроль синтаксиса и хранение алгоритмов
управления, описанных на ПРАЛУ;
- моделирование и отладку алгоритмов управления.
Подсистема "Параллельный автомат" содержит функции:
- ввода, редактирования, контроля синтаксиса и хранения алгоритмов
управления, представленных параллельным автоматом;
- моделирования и отладки алгоритмов управления;
- контроля корректности параллельных алгоритмов (проверки таких
свойств, как самосогласованность, безызбыточность, восстанавливаемость,
непротиворечивость, устойчивость).
|
|
Подсистема "Секвенциальный автомат" обеспечивает:
- кодирование состояний параллельного автомата (4 способа);
- преобразование модели параллельного автомата в модель секвенциального
автомата;
- получение структурного описания логической схемы.
Подсистема "Логические структуры" обеспечивает:
построение символьной топологии логической схемы в виде регулярной
структуры типа:
PLA (programmable logic array) - программируемая логическая матрица;
MOS (regular metal-oxide semiconductor structure) - регулярная схема
с последовательным соединением МОП-транзисторов;
OLA (one-dimensional logic array) - матрица Вайнбергера;
FPLA (folding programmable logic array) - свернутая программируемая
логическая матрица.
|
 |
Полученное описание символьной топологии может подвергаться
дальнейшей обработке в рамках редактора топологии интегральных
схем.
|
|
