Для написания сложных тесбенчей. Фактически - интерфейс между С и verilog. Дает большую гибкость (т.к. С), чем оригинальный верилог. К ассертам и формальной верификации никакого отношения не имеет. («Телесистемы»: Конференция «Программируемые логические схемы и их применение»)

[an error occurred while processing this directive] Для написания сложных тесбенчей. Фактически - интерфейс между С и verilog. Дает большую гибкость (т.к. С), чем оригинальный верилог. К ассертам и формальной верификации никакого отношения не имеет.

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

Отправлено Gate 16 февраля 2006 г. 23:10
В ответ на: PLI в Verilog (+) отправлено Doka 16 февраля 2006 г. 18:08

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

Ответы

Т.е. создание PLI assert ов вы исключаете напрочь ? (+) — des00 (17.02.2006 09:19 80.89.147.5, 206 байт)
- Посмотрел книгу assertion based design - да, там в 4-й главе описана pli-библиотека ассертов. Но ведь это не означает, что pli предназначен для assert verification, верно? Просто он использован как гибкий инструмент в данном случае. Для ассертов сейчас - это psl. — Gate (17.02.2006 13:26 88.201.128.33, пустое)
  - Не могу не согласиться. Но когда я первый раз отвечал я и имел в виду одно из примерений(+) — 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, пустое)
- для непосвященных можно попродробнее - что за таки "TLM тестбенчи " ?! — Doka (17.02.2006 11:08 83.237.219.153, пустое)
  - Это библиотека под SystemC для моделирования (TLM-Transaction Level Modeling) — Gate (17.02.2006 13:39 88.201.128.33, 81 байт)
Вы упустили одно важное достоинство PLI - сложный тестбенч гораздо быстрее выполняется, чем написанный на HDL — Сидоргек (17.02.2006 00:49 213.130.5.155, пустое)

Перейти к списку ответов ||| Конференция ||| Архив ||| Главная страница ||| Содержание

E-mail: info@telesys.ru

Ответы

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