Кои са familar с PSL (Property Language Specification)?

[bigyellow]

Моля, recommendate някои материали или уебсайтове за PSL за мен? Може ли PSL да бъдат симулирани в ModelSim 5,8 или други симулатори? Благодаря

 

[nand_gates]

Ya, Ние сме използване на PSL в нашия проект. Cadence поддържа PSL твърдения захар! Да Modelsim 5.8 / 6.0 поддържа PSL захар. Това е книга, който използвате!! "Използване на PSL / захар за Официално и Dynamic Проверка 2-ри Guide Edition Език Property спецификация за проверка на твърдението на основата на" Бен Коен Srinivasan Venkataramanan Ajeetha Кумари следния сайт Иди за повече информация .... http://www.pslsugar.org/technical_papers.html Мисля, че един от автора "Ajeetha Кумари" е член на този форум! Надявам се това помага!

 

[AlexWan]

ModelSim 5.8 го поддържа! След употреба на PSL:

 

[supercst]

Можете да изтеглите спекулация от accellera.

 

[xv_ning999]

тази книга е безплатната версия

 

[jjww110]

http://www.doulos.com/knowhow/psl/ , има някои основни въведе!!

 

[vsrpkumar]

Уважаеми господине, Може ли да изпратите PSL LAB урок, който беше публикуван по-рано си поща ID [имейл] vsrpkumar@rediffmail.com [/Email]