Continue to Site

Welcome to EDAboard.com

Welcome to our site! EDAboard.com is an international Electronics Discussion Forum focused on EDA software, circuits, schematics, books, theory, papers, asic, pld, 8051, DSP, Network, RF, Analog Design, PCB, Service Manuals... and a whole lot more! To participate you need to register. Registration is free. Click here to register now.

Register Log in

Link to some Property Checkers

Status
Not open for further replies.
J

joe2moon

Full Member level 5
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

Part and Inventory Search

Welcome to EDABoard.com

Sponsor

Back
Top