Алгоритмы и подсистемы автоматизированного логического проектирования цифровых СБИС

Abstract

Описываются алгоритмы и процедуры, предназначенные для логического проектирования цифровых схем в базисе элементов библиотек интегральных технологий. Приведенные процедуры позволяют автоматизировать процесс разработки принципиальных последовательностных и комбинационных схем, начиная с анализа и моделирования закона функционирования синтезируемых блоков. Процедуры синтеза дают возможность выполнить синтез схем логического управления как на жесткой, так и на микропрограммной логике, а также произвольных неоднородных отказоустойчивых структур для нейтрализаций как эксплуатационных, так и производственных отказов. Входными данными для проектирования являются: описание проектируемой схемы на языке высокого уровня VHDL, требования к характеристикам схемы, тестовые наборы. Выходные данные представляют собой синтезированную схему и результаты моделирования. Предложены структуры подсистем САПР СБИС, которые являются частью системы высокоуровневого синтеза. Работа подсистем продемонстрирована на конкретных примерах. Материал предназначен для специалистов, работающих в области логического проектирования цифровых СБИС, и для инженеров-разработчиков САПР. Печатается по решению редакционно-издательского совета Института технической кибернетики АН Беларуси.