Link to some Property Checkers

[joe2moon]

Property Checker

Some property checker...
---------------------------------------------------------------------
ModelSim 5.8 PSL(Property Specification Language) Beta
http://www.model.com/products/beta/58/58_psl.asp

Averant's Solidify: Static Functional Verification
**broken link removed**

Verity-Check, the Design Verity property checker
**broken link removed**

VN-Property: Property Checker and Analyzer
**broken link removed**

 

[linuxluo]

Re: Property Checker

hi,
can u tell me which one is most popular?
and how about megallen from syn@psys?
thanks.