Sino ang mga familar sa PSL (Property Specification Wika)?

B

bigyellow

Guest
Mangyaring recommendate ang ilang mga materyales o mga website tungkol sa PSL para sa akin? Maaari PSL kunwa sa ModelSim 5.8 o iba pang mga simulators? Salamat
 
Ya, gumagamit kami ng PSL sa aming proyekto. Aliw-iw sumusuporta PSL assertions asukal! Oo Sinusuportahan din ng Modelsim 5.8 / 6.0 PSL asukal. Narito ang libro Ang ginagamit namin!! "Paggamit ng PSL / Sugar para sa Pagpapatotoo ng pormal at Dynamic 2nd Edition ukol sa Property Specification Wika para sa badya na Nakabatay sa Verification" Ben Cohen Srinivasan Venkataramanan Ajeetha Kumari site Goto sumusunod para sa karagdagang impormasyon .... http://www.pslsugar.org/technical_papers.html sa tingin ko isa sa may-akda "Ajeetha Kumari" ay miyembro ng forum na ito! Sana ito ay makakatulong!
 
ModelSim 5.8 sinusuportahan ito! Ang sumusunod ay ang gabay ng PSL:
 

Welcome to EDABoard.com

Sponsor

Back
Top