Общая верификация

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

Верификация на основе моделирования заключается в установлении соответствия проектного решения, представленного математической моделью Мпр, исходному (эталонному) описанию, заданному в виде ТЗ или модели Мэт иного иерархического уровня или аспекта, нежели Мпр. Модели Мпр и Мэт в общем случае имеют разные размерности и состав векторов фазовых переменных. Однако обе модели должны при совпадающих внешних условиях приводить к одинаковым, в пределах заданной точности, зависимостям Уэт(2) и Упр(г), где Уэт и Упр —векторы фазовых переменных на выходах проектируемого объекта (или, что то же самое, на границах, отделяющих объект от внешней среды). Идентичность внешних условий означает, что в моделях Мпр и Мэт должны использоваться одинаковые векторы внешних параметров О—(<7ь < 2, г)- Типичные внешние параметры — температура окружающей среды, напряжения источников питания, параметры входных сигналов и нагрузки. Соответствие двух описаний (моделей), в указанном выше смысле, называют функциональной эквивалентностью. [c.14]

Общий подход к структурной верификации на основе некоторого исчисления И заключается в представлении описаний типа С1 и [c.63]

Представлены возможности системы P- AD 2004 при проектировании печатных плат. Описаны основные приемы проектирования печатных плат настройка схемного редактора, создание форматок и символов компонентов, ввод многолистовых схем, верификация и распечатка схем, передача данных из схе.много редактора в редактор печатных плат. Рассматриваются различные инструменты ручной и интерактивной трассировки, задания и проверки конструкторско-технологических норм, распечатки чертежей печатных плат. Большое внимание уделено ведению библиотек и созданию разнообразных компонентов, в том числе многосекционных с однородными и неоднородными секциями, общими и сдвоенными выводами, компонентов, имеющих несколько посадочных мест. Рассматриваются методики поиска компонентов в библиотеках по заданным критериям, добавления и редактирования текстовых атрибутов компонентов, способы конвертации библиотек, созданных в предьщущих версиях системы. [c.546]

Независимо от технологии реализации, т. е. использования микропроцессора, ЦСП (DSP), заказной микросхемы или ПЛИС, при создании системы с реализацией алгоритмов цифровой обработки в общем случае на первом этапе проектирования с помощью соответствующих профаммных средств выполняется оценка устройства на системном уровне и его алгоритмическая проверка или верификация. [c.183]

Помочь в решении этой проблемы может верификация блоков интеллектуальной собственности (верификация IP). Идея состоит в том, что устройство, которое на этапе верификации называют проверяемым устройством, обычно взаимодействует с окружающим миром, используя стандартные интерфейсы и протоколы. Кроме того, проверяемое устройство обычно общается с микропроцессорами, арбитрами, контроллерами, периферийными устройствами и т. д. [c.259]

В маршрутах проектирования БИС и СБИС к числу основных проектных процедур относятся верификация логических и функциональных схем, синтез и анализ тестов. В этих процедурах требуется многократное выполнение моделирования логических схем. Однако высокая размерность задач логического моделирования (СБИС насчитывают.десятки—сотни тысяч вентилей) существенно ограничивает возможности многовариантного анализа. Так, современные программы анализа логических схем на универсальных ЭВМ могут обеспечить скорость моделирования приблизительно 10 вентилей в секунду (т. е. на анализ реакции схемы из 10 вентилей на один набор входных воздействий затрачивается 1 с машинного времени), что значительно ниже требуемого уровня. Преодоление затруднений, обусловливаемых чрезмерной трудоемкостью вычислений, происходит в двух направлениях. Первое из них основано на использовании общих положений блочно-иерархического подхода и выражается в переходе к представлениям подуровня регистровых передач, рассмотренным в 4.7. Второе направление основано на применении специализированных вычислительных средств логического моделирования, называемых спецпроцессорами или машинами логического моделирования (МЛМ), Важно отметить, что появление СБИС не только порождает потребности в таких спецпроцессорах, но и обусловливает возможности их создания с приемлемыми затратами. Разработанные к настоящему времени МЛМ функционируют совместно с универсальными ЭВМ и обеспечивают скорость моделирования 10 —10 вентилей в секунду. [c.254]

Отрабатываемый в пространственном эскизе подход от общего к частному соответствует геометрическому методу построения верного изображения. Сначала строится некоторый базовый объем, который задает оптимальную структуру последующих построений. Так как базовая форма представляет собой простую фигуру (многогранник, цилиндр, конус), то можно легко убедиться в полноте, а следовательно, в верности изображения. Затем следует этап членений формы первого, второго и высщих порядков. При этом осуществляется иерархическая структура верификации производимых на графической модели построений. Конструктивные операции следующего этапа определяют инциденции п-го порядка через геометрические элементы (п—1)-го порядка. При ручном построении параллельной проекции инциденции обычно специально не выделяются, но сам графический метод требует построения элемента п-го порядка путем членения и разметки элемента (п—1)-го порядка. Геометрическая определенность каждого такого элемента достигается самой алгоритмической структурой действия. [c.35]

ПРОСТРАНСТВО и ВРЕМЯ в физике определяются в общем виде как фундам. структуры координации материальных объектов и их состояний система отношений, отображающая координацию сосуществующих объектов (расстояния, ориентацию и т. д.), образует пространство, а система отношений, отображающая координацию сменяющих друг друга состояний или явлений (последовательность, длительность и т. д,), образует время. П. ив. являются организующими структурами разл. уровней физ. познания и играют важную роль в межуровневых взаимоотношениях. Они (или сопряжённые с ними конструкции) во многом определяют структуру (метрическую, топологическую и т. д.) фундам. физ. теорий, задают структуру эипирич. интерпретации и верификации физ. теорий, структуру операциональных процедур (в основе к-рых лежат фиксации пространственно-временных совпадений в измерит, актах, с учётом специфики используемых физ. взаимодействий), а также организуют физ. картины мира. К такому представлению вёл весь историч. путь концептуального развития. [c.156]

Для приборно-технологического моделирования СБИС все в большей мере требуется привлечение двумерных моделей. В этой главе описан практический подход к моделированию технологических процессов изготовления ИС. Для моделирования имплантации, окисления и диффузии при низкой концентрации примеси используются аналитические модели благодаря их точности, способности учитывать эмпирические данные, а также малым затратам машинного времени. Для расчета процесса диффузии с высокой концентрацией в структурах, имеюцщх границы произвольной формы, применяются численные методы, которые являются более общими, но требуют значительно больших затрат машинного времени. Выходные параметры программы моделирования технологического процесса передаются непосредственно программе моделирования работы прибора, использующей ту же расчетную сетку, что позволяет избежать потери точности, возникающей при интерполяции результатов на новую сетку. Несмотря на то, что прямая верификация двумерных профилей концентрации примесей в настоящее время неосуществима, показана возможность точного предсказывания электрических характеристик прибора, а это и является основной целью моделирования технологического процесса. [c.275]

Получив общее представление о верификации модели (Model he king), можно поговорить о терминах и определениях. Честно говоря, эти понятия пока представляют собой мало исследованную область и были тщательно отобраны в процессе общения со многими людьми. Другими словами, была сделана попытка отделить зерна от плевел. [c.265]

Общий слой — токопроводящий слой, находящийся в или на подложке, обеспечивающий заземление или общий провод для компонентов микросхемы. В микросхеме может быть несколько таких слоёв, разделённых изоляционными слоями. Объединенный инженерный совет по электронным устройствам — см. JEDE . Ограничения — понятие относится к формальной верификации. В процессе верификации устройства (системы) рассматриваются все возможные комбинации входных воздействий, следовательно, часто возникает необходимость ограничить входные воздействия для корректного поведения устройства (системы). [c.388]

Энциклопедия по машиностроению XXL

Оборудование, материаловедение, механика и ...