[svalery 0]

кто пробовал симуляцию SV запускать на ActiveHDL 9.1 ?

таблетку применил но вижу следующее:

# ELBREAD: Error: You do not have a valid license to simulate SystemVerilog assertion module ...

 

 

[bark 0]

Нормально там всё работает. ищи ещё таблетки. на рутреккере вроде были вполне вменяемые файлы/генераторы лицензий.

[svalery 0]

Нормально там всё работает. ищи ещё таблетки. на рутреккере вроде были вполне вменяемые файлы/генераторы лицензий.

 

У вас со здешней таблеткой работает (та что NewLicense(17_dec_2011) for active-hdl 9.1.zip)?

[bark 0]

Если честно я не помню откуда брал свой фал лицензии. но скорее всего основа его шла с рутреккера.

[svalery 0]

Появилось время решил снова попинать эту проблему. Выяснилось, что лицензия ругается если используются

assert property

если их покоментить то SV симуляция проходит. Видимо какой то фичи не хватает.

 

[Mad_kvmg 0]

Для 8.3 с местной таблеткой такая же проблема.

 

You do not have a valid license to run simulation with SystemVerilog advanced verification features.

 

Обыдна :crying:

 

Кто-нибудь решил проблему?

 

[svalery 0]

Для 8.3 с местной таблеткой такая же проблема.

You do not have a valid license to run simulation with SystemVerilog advanced verification features.

 

Проблема не совсем та же, в моём случае было:

You do not have a valid license to simulate SystemVerilog assertion module.

При коменте всех "assert property" - заработало.

[des00 25]

у актива движок вроде как не обрабатывает ассерты, они есть в ривере

[zxw227 0]

киньте кто-нибудь "NewLicense(17_dec_2011) for active-hdl 9.1.zip"

мне на мыло------- [email protected] !

 

[JackOdpirac 0]

Hello Guys,

 

I hope you don't mind much for using English...

 

I'm having exactly the same problem running SVA with 9.1 update 2, obtained from rutracker and also 10.1 obtained from one Persian site. My guess is they both run with the same licence.dat file - certainly they are both valid till the same 2020 date.

I'm using "Expert EE" licence which should cover nicely assertion variations, but for some strange reason it doesn't!

 

"# ELBREAD: Error: You do not have a valid license to simulate SystemVerilog assertion module..."

 

Would you have any idea how to go around this problem or any other licence.dat file?