Верификация

Комплексная верификация разработанных подходов будет проведена посредством сопоставления расчетных результатов с данными, полученными на основании выполненных экспериментов. [c.269]

Синтез структуры САПР. Как и при проектировании других сложных систем, проектирование КТС САПР начинается с синтеза структуры комплекса. Поскольку синтез не удается представить как совокупность полностью формализованных процедур, выполняемых по критериям, отражающим всевозможные требования ТЗ, при синтезе могут быть допущены те или иные ошибки, приняты неудачные решения. Для их выявления после синтеза идет процедура верификации. В отличие от синтеза верификация может быть автоматизирована, ее на ЭВМ реализуют с помощью имитационного моделирования КТС САПР как системы массового обслуживания. [c.356]

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

Цель моделирования — проверка соответствия (верификация) результатов синтеза САПР ее назначению, выявление узких мест в синтезируемом варианте САПР и, следовательно, получение информации для обоснованных корректировок в проекте САПР. Эти корректировки касаются состава КТС и программного обеспечения проектирующих подсистем. Кроме того, при моделировании выбирают, оценивают и при необходимости корректируют дисциплину обслуживания заявок, которая при дальнейшем проектировании САПР должна быть реализована в монитор-нон системе. [c.359]

Поскольку структурный синтез формализуется на основе приближенных критериев и экспертных знаний, необходима верификация получаемых проектных решений. Поэтому очередной актуальной задачей развития математического обеспечения САПР является определение способов [c.385]

Вектор нагрузок 165 Вентильный подуровень 189 Верификация 359 Вершина графа 198 Восстановление базы данных 125 [c.393]

Если первый подход к верификации изображения может быть назван конструктивным, то второму подходу более всего соответствует название геометрического. Решение примеров 1.3.2—1.3.3 хорошо иллюстрирует характер построений, соответствующих данному методу анализа. [c.35]

Процесс создания изображения должен сопровождаться его верификацией, т. е. анализом полноты и, при необходимости, метрической определенности структуры пространственно-графической модели. [c.46]

Значительная часть прикладного ПО САПР ЭМУ работает с совокупностями данных, жестко определяемыми функциональным назначением отдельных программ и программных систем. Варианты запросов на обработку данных также строго детерминированы. В этих условиях роль ИО сводится к организации обмена данными между программными единицами и удовлетворению информационных запросов программ, что позволяет сократить количество неавтоматизированных операций по подготовке данных, их верификации, уменьшает вероятность ошибок. Разработка новых программ, естественно, не должна приводить к необходимости изменения действующих программ в плане организации обмена данными. [c.92]

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

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

Верификация выбранного рещения, представленного на уровне RTL. [c.129]

Оптимизация и верификация логических схем. [c.129]

Верификация динамических параметров схемы с учетом задержек в проведенных межсоединениях. [c.129]

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

Еще более высокое быстродействие верификации можно получить в системах эмуляции логики, в которых по исходному описанию схемы на уровнях вентильном или RTL происходит ее параллельная эмуляция на аппаратных ускорителях. [c.132]

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

Верификация - проектная процедура, целью которой является установление соответствия рассматриваемого проектного решения предъявляемым требованиям [c.310]

Метод формальной верификации - метод верификации, в соответствии с которым вместо многократного моделирования схемы при различных тестовых воздействиях выполняют сопоставление проектного решения с некоторым эталоном [c.312]

Анализ полученных результатов, который состоит в определении оптимального решения путем сопоставления различных возможных вариантов. Данный этап включает в себя также оценку достоверности или верификацию прогноза, если это возможно в условиях рассматриваемой задачи. [c.77]

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

КОРСАР и др. [33], которые сложны и требуют значительных затрат машинного времени. В последнее время достигнут определенный прогресс в верификации российских теплогидравлических кодов КАНАЛ-97 и КОРСАР на стандартных задачах повторного залива ВВЭР [9]. [c.198]

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

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

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

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

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

Трехмерные расчеты стали применяться даже для аппроксимированных выражений ко. )ффицпентов интенсивности напряжений, В связи с важностью этой проблемы реко-моидовап ряд приемов (реперных геометрий) для верификации вычислительных методов и программ [330]. [c.91]

На рынке имеется большое число программ верификации результатов фушщионально-логического синтеза. Преимущественно это программы логического моделирования, ориентированные на платформы как UNIX, так и Windows NT [20]. [c.138]

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

В САП имеется программный модуль Драфт (Draft), который служит для контроля правильности (верификации) путем вывода на графический терминал запрограммированной траектории инструмента или ее проекций на три ортогональные плоскости. Другой программный модуль, называемый пост-процессором, производит адаптацию синтезированной управляющей программы к конкретному станку и особенностям его DN -системы управления. [c.114]

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

Модуль F Верификация (проверка) уполномоченным органом (вариант 1) . Полномочный орган по результатам проверки удостоверяет соответствие (несоответствие) изделия описанному в сертификате утверждения типа ЕС , а также соответствующим требованиям Директивы. Каждое изделие маркируется знаком соответствия С , а изготовителю выдается сертификат соответствия. Знак С сопровождается символом ввдавшего его органа. [c.417]

Модуль G Верификация (проверка) ЕС (вариант 2) . Используется для проверки отдельного изделия или малых серий продукции. Полномочный орган по результатам проверки подтверждает соответствие изделия и выдает сертификат соответствия с правом маркировки изделий знаком С С- Каждое изделие подвергается экспертизе и испытаниям в соответствии со стандартом. Полномочному органу представляется документация по проекту, включаюшдя перечисленные выше документы. [c.418]

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

Теоретические основы САПР (1987) -- [ c.359 ]

Защита от коррозии старения и биоповреждений машин оборудования и сооружений Т2 (1987) -- [ c.114 ]

Основы теории и проектирования САПР (1990) -- [ c.11 , c.13 , c.63 ]

Система проектирования печатных плат Protel (2003) -- [ c.0 ]

Проектирование на ПЛИС архитектура, средства и методы (2007) -- [ c.183 ]

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

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