Wie zijn familar met de PSL (Property Specification Language)?

[bigyellow]

Gelieve recommendate sommige materialen of websites over PSL voor mij? Kan PSL worden gesimuleerd in ModelSim 5.8 of andere simulatoren? Bedankt

 

[nand_gates]

Ya, Wij zijn met behulp van PSL in ons project. Cadence ondersteunt PSL suiker beweringen! Ja ModelSim 5.8 / 6.0 ondersteunt ook PSL suiker. Hier is het boek dat we gebruiken! "Het gebruik van PSL / Suiker voor formele en dynamische verificatie 2e Edition Guide to Specification Property Taal voor Assertion-Based Controle" Ben Cohen Srinivasan Venkataramanan Ajeetha Kumari Ga naar volgende site voor meer info .... http://www.pslsugar.org/technical_papers.html Ik denk dat een van de schrijver "Ajeetha Kumari" is lid van deze forum! Hoop dat dit helpt!

 

[AlexWan]

ModelSim 5.8 ondersteunt! Hieronder vindt u de gids van PSL:

 

[supercst]

U kunt een spec van accellera.

 

[xv_ning999]

deed dit boek is gratis versie

 

[jjww110]

http://www.doulos.com/knowhow/psl/ , is er een aantal fundamentele voorstellen!

 

[vsrpkumar]

Geachte meneer, Kunt u de PSL LAB tutorial die eerder werd naar mijn e-mail id vsrpkumar@rediffmail.com