nemovitosti Checker

[joe2moon]

Některé nemovitosti checker ...
-------------------------------------------------- -------------------
Modelsim 5,8 PSL (Nemovitosti Specifikace Language) Beta
http://www.model.com/products/beta/58/58_psl.asp

Averant
to ukovat: statické Funkcionální Verifikace
http://www.averant.com/faqs.htm # 1

Verity-Check, Design Verity nemovitosti checker
http://www.veritable.com/Computer/Formal_Validation/Verity-Check/verity-check.html

VN-nemovitosti: Pozemky a Checker Analyzer
http://www.transeda.com/

 

[linuxluo]

nazdar,
můžete mi říct, u nichž jeden je nejoblíbenější?
a co takhle megallen z SYN (at) psys?
díky.