ПРОБЛЕМЫ РАЗРАБОТКИ ПЕРСПЕКТИВНЫХ МИКРО- И НАНОЭЛЕКТРОННЫХ СИСТЕМ (МЭС)
Архив статей журнала
В настоящей статье рассмотрены методы учета паразитных эффектов корпуса и разварочных проволочек. Представлена методика моделирования QFN корпусов, которая может быть использована при построении табличных моделей корпусов различных размеров. Методика основана на использовании результатов трехмерного электромагнитного моделирования. Методика моделирования использована при построении табличной модели отечественного QFN корпуса, размерами 3×3 мм2. Для верификации разработанной методики используются измерения СВЧ МИС диапазона частот 2-7 ГГц до корпусирования и после. Приведено сравнение результатов моделирования и измерений СВЧ МИС в корпусе.
Рассматривается задача верификации реактивных систем управления с параллелизмом поведения. Полагается, что описание функционирования устройства, заданного на языке параллельных автоматов, корректно, проверке подлежит схемная (или программная) реализация. Генерация тестовой последовательности основана на обходе графа достижимых состояний параллельного автомата. Предлагается метод сокращения графа достижимости, который основан на предположении независимости параллельно происходящих переходов автомата. Усечение графа достижимости достигается за счет доопределения частичного порядка на множестве переходов, позволяющего существенно уменьшить число рассматриваемых состояний системы управления и, соответственно, число вершин графа. Получаемое сокращение графа достижимых состояний позволяет решать задачу построения тестов для более сложных систем управления.