repac
Joined: 31 May 2001
Posts: 23
|
 18 Jul 2003 7:25 Is it right time to use PSL? |
|
|
|
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?
 
|
|
