Værktøj til automatisk ejendom udvinding

[zshazli]

Hej alle,
Jeg leder efter et redskab til at udtrække egenskaber fra behavioral verilog.
Er der nogen kender et frit tilgængeligt værktøj til at gøre dette.

Jeg så redskaber fra Veriwell og @ HDL på deres hjemmesider, men begge er meget dyre.

Bedste,
Syed Z Shazli
Northeastern University

 

[kakakhan]

Jeg kender ikke nogen, men hvis du give mig navnet på den software, kunne jeg være i stand til at få dig softwaren.

 

[zshazli]

Veri-Check ved VeriWell
Verifikator af @ HDL

-Syed

 

[kakakhan]

Her er VeriWell site

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

Her er MatLab R2007b når med sin Simulink, kan du veryfy dit design Egenskaber.

Code:http://d01.megashares.com/?d01=f0270e3ellerhttp://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