Is it right time to use PSL?

Status
Not open for further replies.
R

repac

Junior Member level 2
Joined
May 31, 2001
Messages
23
Helped
0
Reputation
0
Reaction score
0
Trophy points
1,281
Activity points
87
Assertion base verification is the trend.
But, which language should we use?
PSL? or others?
It seems only cadence ncsim supports PSL dynamic simulation and few beta tools support PSL static formal verificatoin.
Should we integrate PSL into our verification flow now?
8O :?: :?:
 

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…