Application of the production rule model for knowledge representation in automation logical design of custom digital VLSI

Описывается использование продукционно-фреймовой модели представления знаний в системе автоматизированного логического проектирования сложных функциональных блоков заказных цифровых СБИС. Основное внимание уделяется задачам оптимизации функционально-структурных описаний, синтеза и верификации иерархически организованных проектов. Комбинированные маршруты проектирования рассматриваются в виде стратегий, представляющих собой совокупность продукций.Application of the production rule system for knowledge representation in logical design system of complex functional blocks of custom digital VLSI is described. We focus to solve tasks of optimization of is functional-structural descriptions, synthesis and verification of hierarchically organized projects. The combined routes of design are considered in the form of strategies which represented as the set of products