Об особенностях верификации СБИС класса "Система на кристалле" в составе информационных систем
В статье рассматриваются иерархические уровни процесса верификации для СБИС класса «Система на кристалле (СНК)», а также информационных систем, построенных на их базе. Возрастание сложности современных информационных систем формирует дополнительные требования к составу и сложности верификации таких систем, в том числе на ранних этапах их разработки. Предлагается подход к верификации, использующий сочетание программных инструментов для моделирования цифровых схем на нижних уровнях абстрагирования и специализированных средств верификации, разрабатываемых для конкретной информационной системы и реализующих верификацию преимущественно на системном уровне. Предложенный подход позволит снизить затраты на верификацию архитектуры СНК за счет использования специализированных программных эмуляторов и оптимизации архитектуры на ранней стадии выполнения проекта. Полученные результаты моделирования на уровне транзакций являются основанием для выполнения разработки СНК на уровне регистровых передач. Ожидается повышение продуктивности разработки сложных СНК, разрабатываемых с учетом возможностей современных технологических процессов с нормами 28 нм и менее.