PSL â Property Specification Language - OCP-IP
PSL â Property Specification Language - OCP-IP
PSL â Property Specification Language - OCP-IP
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Verification Flow<br />
Design<br />
RTL<br />
Test cases<br />
YES<br />
NO<br />
Violations?<br />
Simulate<br />
RTL<br />
NO<br />
Coverage<br />
YES<br />
READY<br />
Complete?<br />
11 © 2005 Nokia <strong>OCP</strong> <strong>PSL</strong> Package Introduction.ppt / 2006-05-12 / S.M