Link to some Property Checkers

Status
Not open for further replies.
J

joe2moon

Full Member level 5
Joined
Apr 19, 2002
Messages
280
Helped
19
Reputation
38
Reaction score
7
Trophy points
1,298
Location
MOON
Activity points
3,717
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**
 

Re: Property Checker

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

Status
Not open for further replies.

Similar threads

Menu
Log in
Register
Cookies are required to use this site. You must accept them to continue using the site. Learn more…