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

Бесплатный доступ

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

Еще

Цифровая система, грамматика, система булевых функций, логическое проектирование

Короткий адрес: https://sciup.org/142228412

IDR: 142228412

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

  • Кравченко В.А., Могнонов П.Б., Чимитов Д.Н. Представление знаний в функциональных грамматиках // Вестник СибГАУ. - 2011. - № 5 (38). - С. 55-61.
  • Кравченко В.А., Ширапов Д.Ш. Построение баз знаний для решения задач методом функциональных грамматик // Вестник БГУ. - 2015. - № 9. - С. 96-102.
  • Тузов В.А. Математическая модель языка. - Л.: Изд-во Ленингр. ун-та, 1984. - 176 с.
Статья научная