[question] About Property Verification

Status
Not open for further replies.
J

jackson_peng

Full Member level 2
Joined
Apr 11, 2005
Messages
139
Helped
24
Reputation
48
Reaction score
9
Trophy points
1,298
Location
Shanghai, China
Activity points
2,380
what a property verification is?
and what the relationship does it with Assertion based verification?

many thanks
 

itis seam.
 

jackson_peng said:
what a property verification is?
and what the relationship does it with Assertion based verification?

many thanks
Click to expand...

There are 3 different assertion languages -- OVL, PSL and SVA.
PSL stands for Property Specification Language. A lot of times people equal PSL to assertion since it's an IEEE standard and it's been quite popular.

SVA is becoming an IEEE standard.
 

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…