Посмотрел книгу assertion based design - да, там в 4-й главе описана pli-библиотека ассертов. Но ведь это не означает, что pli предназначен для assert verification, верно? Просто он использован как гибкий инструмент в данном случае. Для ассертов сейчас - это psl. («Телесистемы»: Конференция «Программируемые логические схемы и их применение»)

[an error occurred while processing this directive] Посмотрел книгу assertion based design - да, там в 4-й главе описана pli-библиотека ассертов. Но ведь это не означает, что pli предназначен для assert verification, верно? Просто он использован как гибкий инструмент в данном случае. Для ассертов сейчас - это psl.

(«Телесистемы»: Конференция «Программируемые логические схемы и их применение»)

Отправлено Gate 17 февраля 2006 г. 13:26
В ответ на: Т.е. создание PLI assert ов вы исключаете напрочь ? (+) отправлено <font color=gray>des00</font> 17 февраля 2006 г. 09:19

Составить ответ ||| Конференция ||| Архив

Ответы

Не могу не согласиться. Но когда я первый раз отвечал я и имел в виду одно из примерений(+) — des00 (17.02.2006 16:31 80.89.147.5, 164 байт)
- Спасибо!! и если Вас не затруднит последние 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

Ответы

Отправка ответа