Описываются алгоритмы и процедуры, предназначенные для логического проектирования цифровых схем в базисе элементов библиотек интегральных технологий. Приведенные процедуры позволяют автоматизировать процесс разработки принципиальных последовательностных и комбинационных схем, начиная с анализа и ...