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

Synopsys VCS предсказуемо лидирует с большим отрывом. На втором месте Xilinx Vivado Simulator (бывший Cadence NCSIM). Altera Modelsim (заимствованный у Mentor Graphics) слегка отстаёт.
Сохранилась фотография из газеты "Дубна" от 13 июня 1990 года, где команда разработчиков демонстрирует работу ровно этого же теста отцам-основателям Мельникову и Томилину (автору аналогичного теста системы команд для БЭСМ-6).

На фотографии слева направо: В.М.Кадыков, И.Н.Силин, Т.Ф.Сапожникова, В.А.Мельников, А.П.Сапожников (1 ряд), И.А.Емелин, Ф.В.Левчановский, А.Н.Томилин (2 ряд, что выше).
Упомянутая статья на 4-5 страницах газеты: http://www.besm6.org/wiki/1990-dubna-retro86

Synopsys VCS предсказуемо лидирует с большим отрывом. На втором месте Xilinx Vivado Simulator (бывший Cadence NCSIM). Altera Modelsim (заимствованный у Mentor Graphics) слегка отстаёт.
Сохранилась фотография из газеты "Дубна" от 13 июня 1990 года, где команда разработчиков демонстрирует работу ровно этого же теста отцам-основателям Мельникову и Томилину (автору аналогичного теста системы команд для БЭСМ-6).

На фотографии слева направо: В.М.Кадыков, И.Н.Силин, Т.Ф.Сапожникова, В.А.Мельников, А.П.Сапожников (1 ряд), И.А.Емелин, Ф.В.Левчановский, А.Н.Томилин (2 ряд, что выше).
Упомянутая статья на 4-5 страницах газеты: http://www.besm6.org/wiki/1990-dubna-retro86