Comment écrire PSL en HDL fichier dans Modelsim environnement

[Oxford]

Le fichier PSL peuvent être simulés dans le Modelsim (6,0), mais comment
Donnez votre assertions PSL dans le dossier de HDL.

J'ai lu le guide et il me montre comme ceci:
/ / PSL commencer
/ / ** Valoir
/ / Fin
------------
mais quand je "vlog" eux, il ya message d'erreur.

Qui peut montrer que je l'exemple de code?

 

[Salma Ali Bakr]

Je sais que cette réponse est plus de deux ans de retard, mais je pense que cela pourrait aider d'autres

<img src="http://www.edaboard.com/images/smiles/icon_smile.gif" alt="Sourire" border="0" />pour faire des affirmations en VHDL:

- La propriété PSL P1 est ..........;

- Affirmer PSL P1;

en Verilog:

/ / La propriété PSL P1 = ..........;

/ / PSL valoir P1;u peuvent avoir des propriétés incorporées dans le fichier C-HDL ou dans un contrat distinct
si elles sont intégrées, il n'y a rien d'appoint à écrire tout en simulant