PSL / sucre

[jigjack]

Salut à tous,

quelqu'un peut fournir un exemple d'utilisation de PSL / sucre avec HDL.
fait tout simulateur de le soutenir?
Yat-il un inconvénient à l'utilisation de PSL / sucre?
Où puis-je obtenir en savoir plus sur son utilisation réelle.

Merci.

 

[aji_vlsi]

jigjack a écrit:

Salut à tous,quelqu'un peut fournir un exemple d'utilisation de PSL / sucre avec HDL.

 

[jigjack]

Salut,

Yat-il une copie électronique du livre d'or referense PSL disponibles partout??

Merci.

 

[joe2moon]

PSL / Sucre
http://www.haifa.ibm.com/projects/verification/sugar/standard.html
LSP / Sucre LRM (www.eda.org/vfv/docs/PSL-v1.1.pdf)
-------------------------------------------------- -------------------------------

IEEE Std 1850-2005
Standard IEEE pour la propriété Language Specification (PSL)
-------------------------------------------------- -------------------------------