Среда верификации

Среда верификации и разработка тестов [c.261]

Что касается утверждений и свойств, связанных с внешними входами и выходами системы, среда верификации может использовать их для автоматической генерации задающих воздействий, подаваемых на вход системы. Кроме того, можно использовать утверждения и свойства для анализа расширенного кода и функционально покрытия, чтобы гарантировать выполнение характерной последовательности действий или выполнения ряда условий. [c.264]

Не так давно средства оценки кодового покрытия, или анализа структуры кода, разрабатывались сторонними производителями САПР электронных систем. Однако сегодня эта возможность считается настолько важной, что все большие компании встраивают средства оценки кодового покрытия в свои среды верификации/моделирования, но, естественно, набор возможностей у таких средств сильно меняется в зависимости от предложения. [c.271]

Верификация на основе моделирования заключается в установлении соответствия проектного решения, представленного математической моделью Мпр, исходному (эталонному) описанию, заданному в виде ТЗ или модели Мэт иного иерархического уровня или аспекта, нежели Мпр. Модели Мпр и Мэт в общем случае имеют разные размерности и состав векторов фазовых переменных. Однако обе модели должны при совпадающих внешних условиях приводить к одинаковым, в пределах заданной точности, зависимостям Уэт(2) и Упр(г), где Уэт и Упр —векторы фазовых переменных на выходах проектируемого объекта (или, что то же самое, на границах, отделяющих объект от внешней среды). Идентичность внешних условий означает, что в моделях Мпр и Мэт должны использоваться одинаковые векторы внешних параметров О—(<7ь < 2, г)- Типичные внешние параметры — температура окружающей среды, напряжения источников питания, параметры входных сигналов и нагрузки. Соответствие двух описаний (моделей), в указанном выше смысле, называют функциональной эквивалентностью. [c.14]

Возможно и другое решение, которое заключается в том, что крупные поставщики ПЛИС обычно предлагают генераторы ядер интеллектуальной собственности (IP). В данном контексте понятие ядро обозначает блоки, которые выполняют специфичные логические функции этот термин не относится к микропроцессорным или ЦСП ядрам. В некоторых случаях эти генераторы ядер могут быть интегрированы в среду системного (алгоритмического) уровня проектирования. Это значит, что можно создать устройство, состоящее из этих блоков в среде системного (алгоритмического) уровня проектирования, определить все параметры этих блоков и произвести системную (алгоритмическую) проверку (верификацию). [c.195]

Диаграмма состояний — графическое представление конечного автомата. Динамическая формальная верификация — некоторые части устройства оказывается довольно тяжело проверить посредством моделирования, так как они находятся глубоко в структуре устройства и ими довольно сложно управлять с помощью внешних входов. Для решения этой проблемы в среде проверки используют моделирование для достижения тупиковой ситуации, затем моделирование автоматически приостанавливается и вызывается механизм статической формальной верификации для основательного тестирования этой тупиковой ситуации. Комбинация средств моделирования и традиционной статической формальной верификации называется [c.383]

Покрытие утверждений/свойств (Assertion/property overage) — относится к среде верификации, которая может собирать, организовывать и делать доступными для анализа результаты рабо- [c.271]

Хотя символическое представление, используемое пакетом NuSMV, является более совершенным, чем явная проверка модели, для него всё же существует угроза расширения пространства состояний. Очень скоро наступит ситуация, когда рост размеров системы превысит практические ограничения, присущие системе верификации моделей. Другая проблема заключается в том, что некоторые сложные утверждения просто не могут быть описаны в среде верификации мо- [c.323]

В то время, когда я работал над этой книгой, компилятор I arus см. также раздел Среда верификации выше в этой главе) был единственным открытым средством, способным синтезировать прототипы ПЛИС из HDL кода. Недорогие средства синтеза предлагали только поставщики ПЛИС (как правило, их выбирали для недорогих решений). [c.325]

Вадс - система Водитель - Автомобиль - Дорога -Среда 511-514 Вакавсвя 165 Величины случайные 487 Верификация результатов расчета 399 Вероятности крупных аварий 78 Вероятиостмые методы 12 [c.586]

Хороший пример такой среды проектирования предлагает компания A ell hip In . (www.a el hop. om). Программный пакет этой компании принимает М-файлы с плавающей точкой среды MATLAB, формирует их эквиваленты с фиксированной точкой для верификации, и затем использует эти файлы для автоматического создания RTL-кода. [c.193]

Создание ПЛИС такого типа сразу породило огромное множество новых проблем. Во-первых, разработчики системы должны были решить, какие функции должны быть реализованы профаммно, т. е. в виде инструкций для выполнения микропроцессором, а какие подлежат аппаратной реализации (используя главную сфуктуру ПЛИС). Во-вторых, среда разработки должна была поддерживать концепцию совместной проверки, при которой аппаратная и всфоенная профам-мная части усфойства должны подвергаться совместной верификации, чтобы убедиться, что всё работает как следует. [c.199]

Утверждение/свойство — термин свойство пришел из области верификации модели (Model he king), и обозначает характерное функциональное поведение устройства, которое вы хотите (формально) проверить (например после запроса мы ожидаем ответа в течение 10 тактов ). Термин утверждение пришел из области моделирования, и обозначает специфическое функциональное поведение устройства, которое вы хотите наблюдать в процессе моделирования (и сигнализирует об ошибке, если такое утверждение срабатывает ). В наши дни, при использовании формальных методов и средств моделирования в унифицированных средах, термины свойство и утверждение могут взаимозаменять друг друга, то есть свойство может выступать в качестве утверждения и наоборот. [c.394]

Энциклопедия по машиностроению XXL

Оборудование, материаловедение, механика и ...