ГОСТ Р МЭК 61508-7—2012
6 Рекомендуется, чтобы проект был полностью просматриваемым (прогоняемым при моделировании).
7 Предотвращение защелок увеличивает тестируемость и сокращает ограничения синхронизации в процес
се синтеза.
8 Сигнал основного сброса и все асинхронные входные сигналы должны синхронизироваться двумя после
довательными элементами памяти (триггерами) или эквивалентной(ыми) схемой(ами) (метастабильность).
9 Рекомендуется избегать асинхронных сигналов установки/’сброса, за исключением сигнала основного
сброса.
10 Сигналы на уровне порта модуля должны иметь тип stdjogic или std_logic_vector.
Е.15 Применение средств проверки кода
Цель. Автоматическая проверка правил кодирования («Стиль кодирования») инструментальными средства
ми проверки кода.
Описание. Применение средств проверки кода помогает в значительной степени автоматически соблюдать
стиль кодирования и генерирует документацию в режиме онлайн. Однако автоматическое средство проверки кода
может проверить синтаксис и семантику кода в целом. Поэтому применение таких инструментов должно сопрово
ждаться расширением общих правил кодирования («конкретный инструмент») с помощью проектирования
специ альных правил кодирования, которые разработчик должен реализовывать и оценивать отдельно.
Е.16 Программирование с защитой
П р и м е ч а н и е — См. С.2.5.
Е.17 Документальное оформление результатов моделирования
Цель. Документальное оформление всех данных, необходимых для успешного моделирования, чтобы про
верить указанную функцию схемы.
Описание. Все данные, необходимые для функционального моделирования на уровне модуля, микросхемы
или системы должны быть правильно документально оформлены и заархивированы для того, чтобы:
- повторить моделирование на любой более поздней стадии, поочередно изменяя параметры модели;
- продемонстрировать правильность и полноту всех определенных функций.
Должна быть заархивирована база данных, хранящая:
- средства моделирования, включающие полное программное обеспечение используемых инструментов,
например, средства моделирования, синтеза с указанием версий и необходимой библиотеки моделирования.
- файл с журналом моделирования, который включает полную информацию о времени моделирования, при
мененных инструментов с указанием версий и полный текст отчета о всей работе, если это необходимо:
- все соответствующие результаты моделирования, включая последовательности сигналов, особенно в слу
чае ручной проверки, и документацию полученных результатов.
Е.18 Проверка кода
П р и м е ч а н и е — См. С.5.14 «Формальные проверки».
Цель. Анализ описания схемы.
Описание. Анализ описания схемы должен быть выполнен в цепях проверки:
- стиля кодирования;
- соответствия со спецификацией описанной функциональности;
- кодирования с защитой, обработки ошибок и обработки исключений.
П р и м е ч а н и е — Если моделирование на языке (V)HDL не выполнено, у полноты проверки кода и до
стигнутых результатов должно быть эквивалентное качество, которое может быть достигнуто моделированием на
языке (V)HDL.
Е.19 Сквозной контроль
П р и м е ч а н и е — См. С.5.15 «Сквозной контроль».
Цель. Проверка описания схемы с помощью сквозного контроля.
Описание. Сквозной контроль выполняется следующим образом: команда сквозного контроля выбирает не
большой набор тестовых примеров — представительные наборы входных и соответствующих ожидаемых выходных
данных для программы. Затем вручную прослеживается прохождение тестовых данных через лотку программы.
П р и м е ч а н и е — Как самостоятельное средство оно должно применяться только к схемам с очень низкой
сложностью. В случав сбоя при моделировании на языке (V)HDL у полноты сквозного контроля и качества достигну тых
результатов должно быть эквивалентное качество, которое будет достигнуто моделированием на языке (V)HDL.
Литература:
IEC 61160:2005. Design review.
Е.20 Применение прошедших подтверждение соответствия программных блоков, специфицирован
ных на языке описания аппаратных средств, для проектирования микросхем
78