Verisity релизы SureLint 2,0 Гонка Detection Tool

Функциональная проверка Verisity дом ООО, Mountain View, Калифорния, сегодня релизы SureLint 2,0. Гонка обнаружения была усовершенствована, возможности конечного состояния машины и еще добавил Повторное Методология Руководство проверки тоже. Новая функция под названием определяемых пользователем проверки позволяет пользователям добавлять свои собственные проверки и сообщения в библиотеку SureLint чеков.

Адам Krolnik, проверки менеджером для опережающего развития группы на DSP LSI Logic корпорации, Милпитас, Калифорния, говорит, определяемых пользователем проверки было легче и дешевле, что написание Verilog синтаксического анализатора или эквивалентных делать проверку в симуляции Verilog.

SureLint 2,0 уже доступны на Linux, Solaris и HP-UX. Цена составляет $ 15000 для плавающей лицензии локальной сети.

Rambus против Infineon: У. С. Судебная раз откладывается

Прощаясь

ARM расширяет свое влияние в встраиваемых систем

Спад-Не Смочите Design Activity

Ввод их деньги, где вы месяц

Ускорение развития встраиваемых систем

Converge Открывает Тайвань Управления

Валле получила премию

КСР В фокусе: встраиваемых систем

UMC Перерывы землей в Сингапуре

Synopsys Инк Goes PrimeTime