कैसे लिख Modelsim में एचडीएल फ़ाइल में psl पर्यावरण

[ऑक्सफ़ोर्ड]

Psl फ़ाइल (6.0) Modelsim में नकली, हो सकता है, लेकिन कैसे
एचडीएल फ़ाइल में psl कथनों लिखें.

मैं गाइड पढ़ें और मुझे इस तरह से पता चलता है:
/ / Psl शुरू
/ / जोर **
/ / अंत
------------
लेकिन जब मैं vlog "उन्हें", वहाँ त्रुटि संदेश है.

मैं उदाहरण कोड कौन दिखा सकते हैं?

 

[सलमा bakr अली]

मुझे पता है यह जवाब है और अधिक से अधिक दो साल देर से लेकिन मुझे लगता है कि दूसरों को मदद कर सकता है

<img src="http://www.edaboard.com/images/smiles/icon_smile.gif" alt="मुस्कान" border="0" />VHDL में मान्यताओं का खंडन करने के लिए:

- psl संपत्ति P1 है ..........;

P1 - psl जोर;

Verilog में:

/ / psl संपत्ति P1 = ..........;

/ / psl P1 जोर;यू एचडीएल फ़ाइल में एम्बेडेड गुण या एक अलग से एक में हो सकता है
अगर वे एम्बेडेड रहे हैं, वहाँ अतिरिक्त कुछ नहीं है जबकि अनुकरण लिखना है