Симуляторы Verilog

[vak]

Измерил скорость трёх коммерческих симуляторов Verilog на тесте микро-БЭСМ.

Mentor Modelsim: 2428 микроинструкций в секунду.
Cadence NCsim: 2362 микроинструкций в секунду.
Synopsys VCS: 7759 микроинструкций в секунду.

Первые два - на самом деле бесплатные версии от Altera и Xilinx. Но синопсис по любому в разы быстрее получается.

Comments

[oppad (from livejournal.com)]

у VCS заметное преимущество на симулировании нетлиста - занимаемая память получается в несколько раз меньше (на том проекте было что-то типа 8ГБ против 60), скорость пропорционально. на RTL особого преимущества не видел.

[vak]

Мой опыт не подтверждает данную гипотезу. Вот размер памяти на том же тесте.

Max resident size:
modelsim: 50616k
   ncsim: 61540k
     vcs: 95905k

[oppad (from livejournal.com)]

ну так у Вас и нет опыта подготовки АЗИКа к производству. там все-таки важно - неделю или две идет прогон теста.
на малом размере может какие-то накладные расходы играют - добавляется константа.

просто меня поразил факт прямой пропорциональности между памятью и временем прохождения теста

Ментор вроде как утверждает, что квеста гораздо быстрее моделсима - я про моделсим ничего не скажу, но квеста все-равно медленнее и nc и vcs-а. когда-то вопрос сравнения производительности будоражил сообщество элекроникс.ру ну и по работе мне поручали потестировать перед покупкой лицензий.

конечно, есть шанс, что за пару лет все изменилось, но это маловероятно

[raydac.livejournal.com]

а какиенить бесплатные и опенсорсные неплохие есть?

[vak]

С поддержкой SystemVerilog - нету.

[raydac.livejournal.com]

недоработка опенсорс комьюнити :(

[spamsink.livejournal.com]

То, что коммерческий VCS быстрее, неудивительно. Меня удивило то, что modelsim и ncsim насколько близки, как будто у них код из одного источника вырос.

[vak]

Наоптимизировали, видно, конкуренты ведь. Догнать соперника смогли, а перегнать не осилили.
Кстати, я попробовал собрать это дело коммерческим ncsim - выловил пару ошибок, типа массивов в sensitivity list. А еще он терпеть не любит не-ASCII символы в комментариях.

[Евгений Х. (from livejournal.com)]

А на каком железе пускалось?

[vak]

Intel Xeon W3530 2.80GHz
http://browser.primatelabs.com/v4/cpu/2528