Симуляторы Verilog

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

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

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