Построение системы логического проектирования цифровых устройств с использованием аппарата функциональных грамматик

При производстве сложных, высокотехнологичных цифровых устройств, вычислительной техники, автоматики и устройств связи становится все более важным организовать проектирование и моделирование цифровых систем. Актуальной является проблема повышения эффективности средств проектирования цифровых систем. Данная статья посвящена проблеме построения автоматизированной системы логического проектирования, предназначенной для преобразования заданных булевых функций в структурное описание комбинационной схемы. Система строится в соответствии с моделью, описываемой с использованием аппарата функциональных грамматик, с помощью которого система осуществляет многоблочную последовательную разделительную декомпозицию булевых функций на различных элементарных базисах. Реализация модели осуществлена на языке Haskell, обладающем широкими возможностями работы с грамматическими структурами и относящемся к функциональному семейству языков.