Верификация повторная

Разумеется, утверждения и свойства могут быть связаны с устройством на любом уровне, т. е. могут относиться к отдельным блокам, к нескольким соединённым по какому-либо интерфейсу блокам или ко всей системе. Эта особенность предусматривает важную процедуру, которая называется повторная верификация. До появления формальной верификации повторная верификация использовалась довольно редко. Например, при продаже ядро 1Р обычно снабжается соответствующими средствами тестирования, которые анализируют сигналы ввода/вывода непосредственно на его входах и выходах. Эти средства позволяют проверять отдельное ядро, но как только ядро будет интегрировано в устройство, поставляемые с ним средства тестирования становятся бесполезными. [c.264]

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

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

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

При осуществлении контроля записи информации на машинный носитель методом повторного набора (верификации) к норме времени применяется коэффициент 1,1. [c.63]

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

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

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