инструмент для автоматического извлечения имущества

[zshazli]

Привет всем,
Я ищу инструмент для извлечения свойств из поведенческих Verilog.
Кто-нибудь знает свободно доступных инструментов для этого.

Я видел инструменты из Veriwell и @ HDL на своих сайтах, но оба являются очень дорогими.

Лучший,
Сайед Z Шазли
Северо-восточный университет

 

[kakakhan]

Я не знаю, но если ты дашь мне имя, то я мог бы вам программное обеспечение.

 

[zshazli]

Вера по-Check VeriWell
Проверки на @ HDL

-Саед

 

[kakakhan]

Вот VeriWell сайта

http://sourceforge.net/project/showfiles.php?group_id=148026

Вот MatLab R2007b где с Simulink, можно veryfy ваш дизайн Свойства.

Код:http://d01.megashares.com/?d01=f0270e3илиhttp://rapidshare.com/files/59366318/matw2k7b.part01.rar

http://rapidshare.com/files/59375612/matw2k7b.part02.rar

http://rapidshare.com/files/59381172/matw2k7b.part03.rar

http://rapidshare.com/files/59386178/matw2k7b.part04.rar

http://rapidshare.com/files/59391312/matw2k7b.part05.rar

http://rapidshare.com/files/59396129/matw2k7b.part06.rar

http://rapidshare.com/files/59401138/matw2k7b.part07.rar

http://rapidshare.com/files/59405875/matw2k7b.part08.rar

http://rapidshare.com/files/59410303/matw2k7b.part09.rar

http://rapidshare.com/files/59414611/matw2k7b.part10.rar

http://rapidshare.com/files/59419016/matw2k7b.part11.rar

http://rapidshare.com/files/59423150/matw2k7b.part12.rar

http://rapidshare.com/files/59427209/matw2k7b.part13.rar

http://rapidshare.com/files/59431005/matw2k7b.part14.rar

http://rapidshare.com/files/59434461/matw2k7b.part15.rar

http://rapidshare.com/files/59438042/matw2k7b.part16.rar

http://rapidshare.com/files/59441542/matw2k7b.part17.rar

http://rapidshare.com/files/59445020/matw2k7b.part18.rar

http://rapidshare.com/files/59449212/matw2k7b.part19.rar

http://rapidshare.com/files/59453497/matw2k7b.part20.rar

http://rapidshare.com/files/59457979/matw2k7b.part21.rar

http://rapidshare.com/files/59462672/matw2k7b.part22.rar

http://rapidshare.com/files/59467802/matw2k7b.part23.rar

http://rapidshare.com/files/59472570/matw2k7b.part24.rar

http://rapidshare.com/files/59477282/matw2k7b.part25.rar

http://rapidshare.com/files/59481810/matw2k7b.part26.rar

http://rapidshare.com/files/59486664/matw2k7b.part27.rar

http://rapidshare.com/files/59491552/matw2k7b.part28.rar

http://rapidshare.com/files/59496522/matw2k7b.part29.rar

http://rapidshare.com/files/59501741/matw2k7b.part30.rar

http://rapidshare.com/files/59507001/matw2k7b.part31.rar

http://rapidshare.com/files/59512762/matw2k7b.part32.rar

http://rapidshare.com/files/59513507/matw2k7b.part33.rar