Программа моделирования и среда верификации цифровых систем на RTL и вентильном уровнях ModelSim компании Mentor Graphics. Выполняются моделирование и отладка проектов, основанных на смешанном языковом описании (VHDL, Verilog, SystemC и др.).