В форуме 59 тем

1.  
   Название темы
   Автор
   Статистика
   Последнее сообщение
2. 

   использование SVA для большего, чем BFM. 1 2

   yes
   • 18 ответов
   • 1 740 просмотров
   • 16 марта, 2009
   • Посл. сообщение: Escorial
3. 

   VMM for Low Power

   Escorial
   • 0 ответов
   • 360 просмотров
   • 16 марта, 2009
   • Посл. сообщение: Escorial
4. 

   VMM vs OVM

   Escorial
   • 14 ответов
   • 1 307 просмотров
   • 9 марта, 2009
   • Посл. сообщение: Escorial
5. 

   VMM обновился до 1.1.0

   Escorial
   • 0 ответов
   • 322 просмотра
   • 1 февраля, 2009
   • Посл. сообщение: Escorial
6. 

   Подскажите линки, где общаются на тему верификации.

   Kopart
   • 3 ответа
   • 807 просмотров
   • 3 октября, 2006
   • Посл. сообщение: Gate
7. 

   Есть опыт верификации сопроцессора, работающего с числами в стандарте IEEE 754?

   Kopart
   • 3 ответа
   • 1 026 просмотров
   • 29 сентября, 2006
   • Посл. сообщение: Golikov
8. 

   SystemVerilog и средства создания верификационных сред (VERA-HVL)

   aosp
   • 13 ответов
   • 2 857 просмотров
   • 6 апреля, 2005
   • Посл. сообщение: RVlad
9. 

   формальная верификация RTL кода

   Cadence-free
   • 1 ответ
   • 1 593 просмотра
   • 22 октября, 2004
   • Посл. сообщение: fill
10. 

    Еще один вопрос по Функциональной Верификации

    aosp
    • 0 ответов
    • 1 185 просмотров
    • 22 октября, 2004
    • Посл. сообщение: aosp