ГОСТ Р МЭК 61508-7—2012
- проверку непротиворечивости внутренних средств базы данных и проверку достоверности данных, что по
может избежать ошибок данных, получаемых из базы данных. Непротиворечивость данных внутри базы данных
должны проверять стандартные средства, которые, чтобы работать с уникальными данными, проверяют непроти
воречивость данных, полученных в результате работы средств синтеза, размещения и трассировки.
П р и м е ч а н и е — Проверка непротиворечивости — обязательная функция используемого средства,
и разработчик на нее влияет слабо. Поэтому, если существует возможность ручной проверки непротиворечивости,
разработчик должен адекватно ее использовать.
Е.5 Моделирование на языке (V)HDL
П р и м е ч а н и е — См. также Е.6 «Функциональное тестирование на уровне модулей».
Цель. Функциональная проверка схемы, описанной на языке (V)HDL, средствами моделирования.
Описание. Проверка функции с помощью моделирования всей схемы или каждого подмодуля. Средство
моделирования (V)HDL позволяет получить последовательность выходных сигналов, отражающих внутренние из
менения состояний схемы, вызванные поданными входными сигналами. Проверка полученной выходной после
довательности может быть выполнена или по предварительно известной последовательности выходных сигналов
(«форме сигнала»), или на специальном испытательном стенде, который создается во время процесса проектиро
вания. Выбранное средство моделирования должно иметь статус «проверено в эксплуатации», чтобы обеспечить
корректные результаты и заблокировать неправильное поведение сигналов синхронизации (импульсные помехи,
отслеживание троичных состояний), которые могут быть вызваны самим средством моделирования или ошибкой
моделирования.
Е.6 Функциональное тестирование на уровне модулей
П р и м е ч а н и е — См. также Е.5 «Моделирование на языке (V)HDL»_ Е.13 «Охват сценариями верифика
ции (испытательный стенд)».
Цель. Функциональная проверка «Снизу вверх»
Описание. Проверка реализуемой функции — например моделированием — на уровне модуля. Тестируе
мый модуль будет загружаться в типичную виртуальную среду тестирования, называемую «испытательный стенд»,
и тестируется содержащимися в среде наборами тестов. Для указанной функции требуется по крайней мере до
статочно высокий охват тестами, включая все особые случаи, если они существуют. Автоматическая проверка
вы ходных сигналов средствами «испытательного стенда» должна быть более приоритетна по сравнению с их
ручной проверкой.
Е.7 Функциональное тестирование на верхнем уровне
П р и м е ч а н и е — См. также Е.8 «Функциональное тестирование во внешней системной среде».
Цель. Проверка СИС (всей схемы).
Описание. Задача этого теста — проверка всей схемы (СИС).
Е.8 Функциональное тестирование во внешней системной среде
П р и м е ч а н и е — См. также Е.7 «Функциональное тестирование на верхнем уровне».
Цель. Проверка заданной функции, встроенной в системное окружение.
Описание. Этот тест проверяет всю функциональность схемы (СИС) в ее системной среде, например со все
ми другими компонентами, которые расположены на печатных платах или в другом месте. Моделирование всех
соответствующих компонентов на печатной плате и моделирование СИС. на основе ее модели, для проверки
кор ректной функциональности рекомендуется проводить с учетом сигналов синхронизации. Полное
функциональное тестирование включает также тестирование модулей, которые становятся активными только во
время отказа.
Е.9 Ограниченное использование асинхронных структур
Цель. Предотвращение типичных проблем синхронизации в процессе синтеза, предотвращение неоднознач
ности в процессе моделирования и синтеза, связанных с трудностями создаваемой модели, проектирование те
стируемости.
Описание. Асинхронные структуры, формирующие такие сигналы, как УСТАНОВКА и СБРОС, построенные
на комбинационнной логике, чувствительны к процедуре синтеза. В результате могут формироваться схемы, создаю
щие импульсные помехи или срабатывающие от инверсной синхронизации, и поэтому их необходимо избегать. Такие
проблемы при создании модели не могут быть интерпретированы должным образом средствами синтеза, что при
водит к неоднозначным результатам при моделирования асинхронных структур. Так как асинхронные структуры яв
ляются плохо тестируемыми или нетестируемыми вовсе, то эффективность охвата тестами при заводских
испыта ниях или тестирования в режиме онлайн снижается. Поэтому рекомендуется реализовывать полностью
синхронную систему с ограниченным числом синхросигналов. В системах с многофазной синхронизацией все
синхросигналы должны формироваться из одного центрального генератора синхросигналов. Синхронизация на
входе последова тельностной логики всегда должна осуществляться только синхросигналом, который не содержит
комбинационной логики. Входы последовательностных ячеек асинхронных структур УСТАНОВКА и СБРОС всегда
должны обеспечи-
75