Электронный фонд правовой
и нормативно-технической документации
IEEE 1647-2019 Functional Verification Language e Язык функциональной верификации e
Доступ к полной версии документа ограничен
Стандарт IEEE 1647-2019, известный как Functional Verification Language (PVL), предназначен для облегчения функциональной верификации цифровых систем через использование языков программирования высокого уровня. Данный документ регулирует применение PVL в проектировании, тестировании и верификации аппаратного обеспечения и программного обеспечения, обеспечивая единую платформу для обмена данными и упрощения процесса верификации.
Основные аспекты, охватываемые стандартом, включают методы описания верификационных окружений, параметры, требуемые для реализации верификационных тестов, а также процедуры, используемые для обеспечения полноценной проверки проектов. Стандарт определяет набор базовых принципов, рекомендаций и требований к верификации, обеспечивая создание надежных, высококачественных цифровых систем.
Важные технические детали включают условия испытаний, основанные на классификации верификационных моделей, измеряемые величины и допустимые пределы. Например, детализируются параметры, касающиеся производительности, точности и надежности систем в процессе их тестирования. Этим обеспечивается проверка соответствия требованиям безопасности, качества и функциональности.
Целевая аудитория стандарта включает производителей полупроводниковых устройств, лаборатории тестирования и верификации, а также контролирующие органы, занимающиеся вопросами стандартов и нормативов в области электроники. Стандарт служит важным ресурсом для всех участников процесса проектирования, способствуя лучшему пониманию и применению методов функциональной верификации на практическом уровне.
Практическое значение стандарта заключается в его влиянии на безопасность, качество и совместимость цифровых систем. Внедрение рекомендаций стандарта помогает минимизировать риски, связанные с эксплуатацией высокотехнологичных компонентов, повышая общий уровень доверия квыпускаемым продуктам. Изменения в версии 2019 года касаются уточнения методик верификации и обновления требований к системам, что делает стандарт более актуальным в контексте современных технологий.
Описание документа носит справочный характер, достоверность этого материала не гарантируется.
Чтобы получить полный доступ к этому и другим документам, приобретайте доступ к Информационной сети «Техэксперт» - лидеру в области комплексного обеспечения предприятий нормативно-технической документацией.
доступны в системах «Техэксперт» и «Кодекс»
Возможно вас заинтересуют
IEEE 1646-2004 Standard Communication Delivery Time Performance Requirements for Electric Power Substation Automation
Стандартные требования к времени доставки сообщений в системах автоматизации подстанций электрической энергии
IEEE 1642-2015 Recommended Practice for Protecting Publicly Accessible Computer Systems from Intentional Electromagnetic Interference (IEMI)
Рекомендации по защите общественно доступных компьютерных систем от намеренного электромагнитного излучения (IEMI)
IEEE 1641.1a-2018
IEEE 1650-2005 Standard Test Methods for Measurement of Electrical Properties of Carbon Nanotubes
Стандартные методы измерения электрических свойств углеродных нанотрубок
IEEE 1651-2010 Guide for Reducing Bird-Related Outages
Руководство по снижению отключений, вызванных птицами
IEEE 1652-2016 Translating Head and Torso Simulator Measurements from Eardrum to Other Acoustic Reference Points
Перевод измерений модели головы и туловища из точки барабана в другие акустические точки отсчета