Отправлено Gate 17 февраля 2006 г. 19:54 В ответ на: Спасибо!! и если Вас не затруднит последние 2 вопроса (+) отправлено <font color=gray>des00</font> 17 февраля 2006 г. 18:14

1. Упомянутая Вами книжка Assertion Based Design + поиск по интернету PSL/Sugar. К сожалению, хорошей книжки именно по psl я в инете не нашел. Есть LRM, но ведь по стандарту изучать язык очень тяжело.
2. Я думаю, что некоторые знания надо иметь обо всем (возможности, особенности, слаб. и сильн. стороны). По-моему, SystemC/SystemVerilog более полные, но пока не поддерживаются хорошо синтезаторами. PSL ложится сверху на готовый код, но теcтбенчи на нем не напишешь, только проверку properties и анализ code coverage. Поэтому если Ваша специализация - синтезируемый hdl, то imho psl (Вы лучше всех знаете properties своего кода), а если написание тесбенчей - то SystemC/SystemVerilog.
Сходите на verificationguild.com там много обсуждается сравнение языков именно с точки зрения верификации.

• Большое спасибо! — des00   (18.02.2006 08:37 80.89.147.5, пустое)

E-mail: info@telesys.ru