[Golikov 0]

Субъективная составляющая может быть такая. Допустим сотрудник сертификационного органа человек ответственный. Посчитает он нормальной проверку глазами миллионов цифр?

И такая тоже может быть. А может быть что ты ему покажешь программу которая их сверяет, но не квалифицирована, а он скажет понятно, принимается, но напишем что у вас некто Н все глазами сличил.

Ровно как может заартачится и не принять проверку глазами на 10 контрольных примерах.

Основная мысль что его поведение и аттестаты на самом деле прямо на качество не виляют. С ДО скорее всего лучше чем без него, но он не панацея.

[1891ВМ12Я 0]

т.е. я правильно понял, что никаких предварительных потуг не требуется, просто заблаговременно обращаться в сертифицирующую организацию и они сами объяснят как надо действовать? Начальство в сертификации не новички, но по КТ-254 пока что наверное не работали...

[x736C 0]

т.е. я правильно понял, что никаких предварительных потуг не требуется, просто заблаговременно обращаться в сертифицирующую организацию и они сами объяснят как надо действовать? Начальство в сертификации не новички, но по КТ-254 пока что наверное не работали...

Мое личное мнение -- да, так и надо поступать. Узнавать их требования.

[Golikov 0]

пожалуй поддержу, только и потуги можно не прекращать :)

[gosha-z 2]

Поддержу предыдущих ораторов - процесс сертификации начинается ДО начала разработки. С написания PHAC - Plan for Hardware Aspects for Certification. A good starting point Но, насколько мне известно, нормальных DERов у нас нет, а те, что есть, пришли из ВП, и у них весьма своеобразное представление о DO-254/DO-178

[MaratZuev 0]

Доброго всем!
Позволю обновить тему.
Вопрос участницам: изменилось ли за прошедшее время что-либо в данной сфере сертификации? Предстоит плотно заняться вопросом, но с какого бока подойти?
Что ещё интересует, так это вот что: по РМ-254 имеем

2.4.4.    При использовании HDL для уровня А должен быть достигнут и зарегистрирован целевой уровень верификационного покрытия в испытаниях, основанных на требованиях:
a)    Покрытие решений (каждая точка входа и выхода кода HDL пройдена хотя бы раз, а также каждое решение кода HDL было выбрано при всех возможных исходах хотя бы раз);
b)    Покрытие переходов при использовании конечного автомата.

Правильно ли я понимаю, что, например, с т.з. МоделСима (Квесты) пункт а) говорит о покрытии statement, а b) - FSM при вызове команды vopt ниже?

        # ModelSim® SE Command Reference Manual, v10.5 page 855
        # Commands 
        # vopt
        # 
        # +cover=<spec>
        # <spec> — one or more of the following characters:
        # b — Collect branch statistics.
        # c — Collect condition statistics. Collects only FEC statistics, 
        #     unless -coverudp is specified.
        # e — Collect expression statistics, Collects only FEC statistics, 
        #     unless -coverudp is specified.
        # s — Collect statement statistics.
        # t — Collect toggle statistics. Overridden if ‘x’ is specified elsewhere
        # x — Collect extended toggle statistics (Refer to “Toggle Coverage” for details). 
        #     This takes precedence, if ‘t’ is specified elsewhere.
        # f — Collect Finite State Machine statistics