официальные verificaton: req

[airace]

Кто-то,
PLS должность некоторые ссылки, документы, электронную книгу о проверке формальных методик инструменты т.д.

rgds,

 

[edaguy69]

Это очень хорошее начало
http://www-cad.eecs.berkeley.edu/Respep/Research/vis/doc/VisUser/vis_user/node4.html # SECTION00400000000000000000

 

[edaguy69]

По DataQuest доли рынка 2001 года:
Формальность (Synopsys): 44%
Verplex (Verplex систем) 33%
Дизайн Verifyer (Avant!) 13%
Другие 10%Так что хорошо сосредоточиться на Synopsys инструмент.
Я не знаю, если я позволить, чтобы получить возможность отправлять ручной или учебник формальности здесь

 

[Radix]

airace,

Через пару достойных веб-сайтов для проверки являются:

www.qualis.com
www.janick.bergeron.com (проверка гильдии)

Оба эти списки, что обсуждать соответствующие, тока, проверка вопросов.

Radix