SCI Библиотека

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

Рассматривается задача верификации реактивных систем управления с параллелизмом поведения. Полагается, что описание функционирования устройства, заданного на языке параллельных автоматов, корректно, проверке подлежит схемная (или программная) реализация. Генерация тестовой последовательности основана на обходе графа достижимых состояний параллельного автомата. Предлагается метод сокращения графа достижимости, который основан на предположении независимости параллельно происходящих переходов автомата. Усечение графа достижимости достигается за счет доопределения частичного порядка на множестве переходов, позволяющего существенно уменьшить число рассматриваемых состояний системы управления и, соответственно, число вершин графа. Получаемое сокращение графа достижимых состояний позволяет решать задачу построения тестов для более сложных систем управления.

Представлены результаты структурно-функционального моделирования бизнес-процессов “как должно быть” отдела холодной штамповки федерального государственного унитарного предприятия “Государственный космический научно-производственный центр им. М. В. Хруничева”, выполненного с применением лицензионной системы AllFusion Process Modeler в соответствии с требованиями международных стандартов IDEF0.

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