Язык спецификации свойств (PSL) в VHDL-2008
В моем недавнем проекте я хочу использовать проверку утверждения. VHDL-2008 имеют встроенную поддержку PSL. Но я не могу найти "руководство для начинающих" или что-то еще, чтобы начать с ним работать. Я нашел только одну книгу "Практическое введение в PSL" и не могу купить ее у себя.
У кого-нибудь есть ссылки на учебники или книги по PSL? Может быть, еще предложения, как внедрить в PSL технологию?