PSL â Property Specification Language - OCP-IP
PSL â Property Specification Language - OCP-IP
PSL â Property Specification Language - OCP-IP
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Content<br />
• 242 assertions divided to six (6) groups<br />
• Basic signals 55<br />
• Simple extensions 24<br />
• Burst extensions 109<br />
• Tag extensions 15<br />
• Thread extensions 16<br />
• Sideband signals 23<br />
• 92 coverage points divided to three (3) groups<br />
• Basic signals 19<br />
• Simple extensions 9<br />
• Burst extensions 64<br />
10 © 2005 Nokia <strong>OCP</strong> <strong>PSL</strong> Package Introduction.ppt / 2006-05-12 / S.M