verilog, systemverilog и icarus verylog

Стандарт верилога, особенно SystemVerilog’а делали укуренные в хлам чуваки. (На вскидку: https://ncrmnt.org/2017/06/17/the-painfull-verilog-preprocessor-pitfall/ )

SystemVerilog - читали стандарт С++ чтобы сделать также, ниасилили.

Даже у проприетарных инструментов поддержка языка очень и очень разная, падают на самых неожиданных местах, икарус не худший в этом плане. Киллер фича коммерческих тулов - инструменты для отладки, скорость моделирования больших проектов, sсhematic tracer, и т.п.

Да, помню эту твою статейку.

В трех словах сравни икарус и верилатор? Судя по статье, верилатор подскажет в случае шитхепенс. С другой стороны икарус 0.10.3 может тоже уже не промолчит. Но в остальном как они?

Это немного разные вещи. Емнип из verilator’а ты не получишь vcd, и тебе надо с расчетом на него писать rtl (некоторые конструкции будут его замедлять и он кидает ворнинги). Его киллер-фича - он тебе транслирует твой дизайн в C++, который ты можешь встроить в свое приложение, например, гуй с мордочкой.

Я ни один из них ни для чего серьезнее пары-тройки флип-флопов не юзал, ибо на работе сижу в обнимку с глючным и косячным cadence xcellium.

Ясно.

Приглашается Puzan для своего веского слова.

Приглашается Puzan для своего веского слова.

По поводу икаруса? Поддержка системверилога у него на зачаточном уровне, и насколько я знаю, расширять её не очень спешат. Да и в общем не очень-то и надо (хотя, можно было бы добавить наконец always_ff и always_comb). Для тренировок хватит с головой, и для серьёзных вещей тоже достаточно, при том что синтезируемое подмножество системверилога не сильно больше верилога (хотя, есть полезные вещи, типа интерфейсов). А если захочется в системверилог, в классы всякие, в ассерты, то всегда можно взять «условное бесплатную» версию modelsim.