Описание тега psl
PSL - это язык спецификации свойств, основанный на IBM Sugar. Он был стандартизирован как IEEE 1850. Он позволяет проектировщику выражать определенные свойства цифровой схемы или другие аспекты проекта, которые представляют интерес для проверки схемы. Свойства могут быть проверены с помощью моделирования или формальных средств проверки.
0
ответов
Не удалось разрешить класс EmptyBundle в Groovy
Я пытаюсь запустить этот проект оценки графа знаний. Из-за миграции репозитория maven мне пришлось внести некоторые изменения в pom.xml зависимости и другие файлы. Сейчас сталкиваюсь со следующей ошибкой. [ОШИБКА] /home/manuelanayantarajeyaraj/ Доку…
13 ноя '18 в 07:45
0
ответов
Как получить имя факта NELL из ID
В настоящее время я работаю с фактами NELL, для которых мне нужно извлечь их фактические значения. Поскольку я новичок в NELL, этот вопрос может показаться тривиальным. Но у меня есть предикатные отношения, как показано ниже; REL.txt Subject Predica…
19 ноя '18 в 08:29
1
ответ
Утверждение PSL для конвейера с переменной задержкой
Я пытаюсь написать утверждение PSL, которое проверяет, соответствует ли количество утверждений на входе количеству утверждений на выходе. Например: . На входе все может произойти в любое время, и вывод может быть заявлен в любое время. Точное время …
04 июн '20 в 14:16
0
ответов
Язык спецификации свойств (PSL) в VHDL-2008
В моем недавнем проекте я хочу использовать проверку утверждения. VHDL-2008 имеют встроенную поддержку PSL. Но я не могу найти "руководство для начинающих" или что-то еще, чтобы начать с ним работать. Я нашел только одну книгу "Практическое введение…
01 авг '20 в 18:40
0
ответов
как проверить общедоступный суффиксный домен?
прежде чем я прошу добавить мой домен в список общедоступных суффиксов. Я должен проверить наличие каких-либо проблем, таких как проблемы с файлами cookie.;; есть ли способ проверить общедоступный суффиксный домен ??
03 дек '21 в 11:51
0
ответов
Церемония открытия PSL 8, дата и билеты
Я знаю, что это сезон для PSL 8th. Я хотел знать, когда начнется этот сезон. Церемония открытия PSL 8, дата и билеты?
06 фев '23 в 06:36
1
ответ
Режим обложки SymbiYosys не работает при проверках, которые не являются обложками
Я изучаю формальную верификацию с использованием PSL и VHDL с SymbiYosys. У меня есть следующий тест в Formal.psl: vunit f_top_asm_verify(TopAssembly(Rtl)) { default clock is rising_edge(i_clk); f_stalls: assert always {o_leds /= "00000" } |-> {o…
27 ноя '23 в 20:34