Хто познайомилися з PSL (власності Специфікація мови)?

[bigyellow]

Будь ласка, recommendate деякі матеріали або веб-сайтів про PSL для мене?
Можна PSL моделюється в ModelSim 5,8 або інших тренажерів?

Спасибі

 

[nand_gates]

Я,
Ми використовуємо PSL у нашому проекті.Cadence підтримує PSL затвердження цукру!
Так ModelSim 5,8 / 6,0 також підтримує PSL цукру.

Ось книзі ми використовуємо!

"Використання PSL / Цукор для формальної і динамічної перевірки другого Edition
Путівник по нерухомості Специфікація мови для затвердження основі перевірки "

Бен Коен
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 підручник, який був вивішений раніше мою поштову ідентифікатор vsrpkumar (в) rediffmail.com