ГОСТ Р МЭК 61508-2—2012
Продолжение таблицы F.2
Стадия
проектиро
вания
Мстоды.’мсры. средства
См. МЭК
61508-7
УПБ 1
УПБ 2
УПБ 3
УПБ 4
Разме
щение.
трасси-
роака.
гене
рация
тополо-
ГИИ
26а Обоснование проверенных в экс-
ппу-атации примененных «жестких»
макробло-ков
Е.34
КР (HR)
высокий
КР (HR)
высокий
КР’
(HR*)
высокий
КР’
(HR*)
высокий
26Ь Применение «жестких» макроблохов,
прошедших подтверждение соответствия
Е.35
КР (HR)
высокий
КР (HR)
высокий
КР’
(HR*)
высокий
КР’
(HR’)
высокий
26с Тестирование «жестких» макроблокое
в неавтономном режиме
Е.36
КР (HR)
высокий
КР (HR)
высокий
КР’
(HR*)
высокий
КР’
(HR’)
высокий
27а Моделирование логической схемы
на основе списка соединений для провер
ки ограничений синхронизации
Е.22
КР (HR)
высокий
КР (HR)
высокий
КР*
(HR*)
высокий
КР’
(HR’)
высокий
27Ь Статический анализ задержки рас
пространения сигнала STA
Е.23
КР (HR)
высокий
КР (HR)
высокий
КР’
(HR*)
высокий
КР’
(HR’)
высокий
28а Проверочное сравнение списка сое
динений логических элементов с эталон
ной моделью средствами моделирования
Е.24
КР (HR)
высокий
КР (HR)
высокий
КР’
(HR*)
высокий
КР’
(HR*)
высокий
28Ь Сравнение списка соединений логи
ческих элементов с эталонной моделью
(формальный тест на эквивалентность)
Е.25
КР (HR)
высокий
КР (HR)
высокий
КР’
(HR*)
высокий
КР’
(HR’)
высокий
29 Проверки правил проектирования
(DRC)
Е.37
КР (HR)
высокий
КР (HR)
высокий
КР (HR)
высокий
КР’
(HR*)
высокий
30 Применение проверенных в эксплу
атации условий среды проектирования.
Применение проверенных в эксплуатации
библиотек ячеек
Е.4
КР’
(HR*)
высокий
КР’
(HR*)
высокий
КР’
(HR*)
высокий
КР’
(HR’)
высокий
31 Дополнительный резерв времени
(более
20
%) для технологических про
цессов. реализуемых менее 3 лет
Е.39
КР (HR)
высокий
КР (HR)
высокий
КР’
(HR*)
высокий
КР’
(HR’)
высокий
77