!На чем проводим верификацию проектов FPGA/ASIC, Рейтинг используемых программ верификаци Опции

[Nix_86]

Cadence NC-sim, дружелюбный интерфейс, подробные и понятные логи

[MadGarry]

При работе на винде использую ModelSim.
При работе под Linux -NCSim.
Для RTL и Netlist+SDF годятся оба.
Для моделирования ASIC или FPGA годятся оба.
Предпочитаю NCSim - рестартартует очень быстро в отличии от ModelSim. Это свойство NCSim дает хорошее преимущество при отладке регресионных тестов.