реклама на сайте
подробности

 
 
 
Reply to this topicStart new topic
> ABV in Modelsim, Как добавить OVL в Modelsim?
AnatolySh
сообщение Mar 28 2018, 19:29
Сообщение #1


Частый гость
**

Группа: Свой
Сообщений: 79
Регистрация: 20-01-06
Из: Зеленоград
Пользователь №: 13 407



Доброго всем!
Есть статья FPGA Verification with Assertions: Why Bother?, также добавленная к этому сообщению.
В статье описывается введение в ABV на примере Modelsim.
Всё красиво и понятно ... до тех пор, пока не приходит время скомпилировать библиотеку на стр. 6 документа:
Код
if [file exists accellera_ovl_log] {
udel -lib accelleraoululog -all
}
vlib accellera_ovl_log
vlog -work accellera_ovl_log -f ./src/comp_ovl_log.lst
Библиотеку я взял на OVL Version 2.8.1, но где взять ./src/comp_ovl_vlog.lst - ума не приложу.
Просьба подсказать: я, вообще, то делаю?
Прикрепленные файлы
Прикрепленный файл  FPGA_Verification_with_Assertions_Why_Bother.pdf ( 2.93 мегабайт ) Кол-во скачиваний: 16
 


--------------------
WMBR
Go to the top of the page
 
+Quote Post
AnatolySh
сообщение Mar 29 2018, 14:31
Сообщение #2


Частый гость
**

Группа: Свой
Сообщений: 79
Регистрация: 20-01-06
Из: Зеленоград
Пользователь №: 13 407



Цитата(AnatolySh @ Mar 28 2018, 22:29) *
Просьба подсказать: я, вообще, то делаю?
Сам и отвечу: делал всё то, надо было просто почитать интернет и подумать.
Итог:



--------------------
WMBR
Go to the top of the page
 
+Quote Post
_Ivan_33
сообщение Mar 29 2018, 15:16
Сообщение #3


fpga designer
****

Группа: Свой
Сообщений: 591
Регистрация: 20-04-08
Из: Зеленоград
Пользователь №: 36 928



а зачем OVL когда есть system verilog assertions?
Последнее свежее и гибче ИМХО


--------------------
Go to the top of the page
 
+Quote Post
AnatolySh
сообщение Mar 29 2018, 17:11
Сообщение #4


Частый гость
**

Группа: Свой
Сообщений: 79
Регистрация: 20-01-06
Из: Зеленоград
Пользователь №: 13 407



Цитата(_Ivan_33 @ Mar 29 2018, 18:16) *
а зачем OVL когда есть system verilog assertions?
Последнее свежее и гибче ИМХО
Ну надо же с чего-то начинать?


--------------------
WMBR
Go to the top of the page
 
+Quote Post

Reply to this topicStart new topic
2 чел. читают эту тему (гостей: 2, скрытых пользователей: 0)
Пользователей: 0

 


RSS Текстовая версия Сейчас: 24th April 2018 - 16:07
Рейтинг@Mail.ru


Страница сгенерированна за 0.01444 секунд с 7
ELECTRONIX ©2004-2016