PSL (Property Specification Language)
PSL/Sugar – язык формальной спецификации аппаратных средств – используется для описания свойств, которые требуется проверить в процессе верификации.
PSL содержит средства описания спецификаций, которые являются одновременно легко читаемыми и математически точными.
PSL состоит из четырех слоев:
1. Булев слой, состоящий из логических выражений, содержит также логические операторы AND, OR, XOR.
2. Временной слой, состоящий из временных выражений или свойств, которые описывают отношения между логическими (булевыми) выражениями во времени.
3. Верификационный слой, состоящий из директив, которые описывают, порядок обработки временных выражений средствами верификации.
4. Слой моделирования, обеспечивающий средства для поведенческого моделирования проекта, позволяет использовать вспомогательные сигналы и переменные.
https://studfile.net/preview/7429380/page:4/
«Идея создания PSL принадлежит техническому комитету функциональной верификации фирмы Accellera. За основу был выбран язык Sugar, разработанный внутри IBM, где при верификации моделей для описания свойств аппаратуры использовалась формальная система CTL (Computation Tree Logic). Для нотации CTL была свойственна краткость изложения, однако она сложно воспринималась неспециалистами. Основная функция Sugar (дословно — сахар) как раз и заключалась в том, чтобы «подсластить» синтаксис CTL.»
https://kit-e.ru/proektirovanie-v-uslov … s-chast-2/
«в его реализацию закладывались концепции, позволяющие ему легко эволюционировать и опираться на операторы, лежащие в основе наиболее распространенных языков описания аппаратуры, способы описания булевских выражений, принятые в этих языках, и т. д. Однако там, где это было необходимо, вводили собственные семантику и синтаксис. В частности, это касается правил построения сложных временных взаимоотношений между булевскими выражениями.»
Отредактировано Лис (2025-05-30 18:38:47)