Главное


Анализ на безопасность платы ТС2 ЦП ДЦ Минск

цифровая схема моделирование интерфейсный

Одним из эффективных инструментов проверки безопасности системы (элементов) является физическое и (или) логическое (имитационное) моделирование. При физическом моделировании исследованию подвергается существующая система, что предопределяет отсутствие вопросов об адекватности и соответствии результатов моделирования истинным данным. Полученные результаты имеют ограниченное применение из-за малых возможностей физических экспериментов по изменению системы. Анализ процессов, происходящих в микроэлектронных устройствах, показывает, что реализация логической структуры, полученной непосредственно по результатам синтеза, не позволяет проверить работоспособное устройство из-за наличия состязаний, возникающих, например, из-за отсутствия строгой синхронизации входных сигналов или вследствие разброса временных параметров и порога чувствительности логических элементов. В этом случае целесообразно для исследования свойств разрабатываемых устройств применять логическое моделирование, представляющее собой процедуру реализации работы логической схемы с использованием ПЭВМ.

Испытания на машинных моделях по сравнению с другими видами испытаний позволяют:

· обеспечивать ускоренные испытания в машинном времени;

· создать во время испытаний все множество возможных технологических ситуаций;

· имитировать большое число отказов аппаратных и программных средств, что неосуществимо при испытаниях физических моделей;

· организовать процедуры верификации ППО; откорректировать списки опасных отказов; собрать статистические данные по влиянию сбоев на безопасность;

· организовать вероятностные эксперименты с машинными моделями систем большой размерности.

Испытания устройств на безопасность включают в себя экспертизу документации, имитационные испытания и стендовые испытания опытного образца.

Имитационные испытания на машинных моделях, делятся на три вида:

· испытания технологических алгоритмов;

· моделирование работы аппаратных средств при сбоях и отказах;

· испытания имитационной модели программно-технических средств.

Целью настоящего курсового проекта является расширение уже существующего приложения, включающего в себя набор микроэлектронных элементов, комплекс тестовых компонентов, позволяющих осуществлять испытания микроэлектронных схем.

Необходимо сделать возможным загрузку реальных параметров элементов ТТЛ и КМОП, для того чтобы имитационные испытания были наиболее приближены к реальным процессам, происходящим в микроэлектронных элементах.

Также необходимо сделать анализ на безопасность платы ТС2 ЦП ДЦ «Минск» в данном приложении, что станет возможным по выполнении вышеперечисленных задач.

    Другие статьи по теме

    Аппаратная реализация модулярного сумматора и умножителя на базе ПЛИС
    В настоящее время невозможно представить себе сложную автоматическую систему без того, чтобы ее центральную часть не составляли вычислительные машины, выполняющие функц ...

    Методы стабилизации коэффициента усиления оптических усилителей
    В настоящее время оптоволоконные сети являются самым перспективным видом информационных сетей, что обусловлено множеством их преимуществ. В то время как одна из проблем коаксиальных кабе ...

    Построение кодера на основе многочлена
    Помехоустойчивое кодирование состоит в целенаправленном введении избыточности для того, чтобы появилась возможность обнаруживать и/или исправлять ошибки, возникающие при передаче по кана ...

    www.domen.ru © 2019