Hvem er familar med PSL (Property Specification Language)?

B

bigyellow

Guest
Vennligst recommendate noen materialer eller nettsteder med informasjon om PSL for meg? Kan PSL bli simulert i ModelSim 5.8 eller andre simulatorer? Thanks
 
Ya, Vi bruker PSL i vårt prosjekt. Cadence støtter PSL sukker påstander! Ja Modelsim 5.8 / 6.0 støtter også PSL sukker. Her er boka vi bruker! "Bruke PSL / Sugar for Formelle og Dynamic verifisering 2nd Edition Guide til Eiendom Spesifikasjon Language for Assertion-Based Verification" Ben Cohen Srinivasan Venkataramanan Ajeetha Kumari Gå til følgende nettsted for mer info .... http://www.pslsugar.org/technical_papers.html Jeg tror en av forfatterens "Ajeetha Kumari" er medlem av dette forumet! Håper dette hjelper!
 

Welcome to EDABoard.com

Sponsor

Back
Top