Отправлено des00 17 февраля 2006 г. 16:31 В ответ на: Посмотрел книгу assertion based design - да, там в 4-й главе описана pli-библиотека ассертов. Но ведь это не означает, что pli предназначен для assert verification, верно? Просто он использован как гибкий инструмент в данном случае. Для ассертов сейчас - это psl. отправлено <font color=gray>Gate</font> 17 февраля 2006 г. 13:26

А не могли бы вы ответить на такой вопрос:
Возможно ли использование PSL в ВХДЛ коде ? или остаеться только использовать встроенные возможности самого ВХДЛ ?

• Спасибо!! и если Вас не затруднит последние 2 вопроса (+) — des00   (17.02.2006 18:14 80.89.147.5, 217 байт)
  • Ответ: — Gate   (17.02.2006 19:54 88.201.128.33, 799 байт)
    • Большое спасибо! — des00   (18.02.2006 08:37 80.89.147.5, пустое)
• Да, конечно. Есть 2 диалекта psl - с vhdl- и verilog-синтаксисом. Что очень приятно - psl может быть записан в отдельный файл, или оформлен как коментарии в уже существующем .v или .vhd (т.е. не надо изменять готовый дизайн!). Ну а синтезаторы комментарии игнорируют, так что совместимость 100%. — Gate   (17.02.2006 17:38 88.201.128.33, пустое)

E-mail: info@telesys.ru