Synopsys Discovery
Платформа функциональной верификации Discovery — это интегрированное решение, включающее средства моделирования цифровых, аналоговых и смешанных проектов, формальной верификации, решений для верификации проектов, в которых применяются технологии снижения потребления питания, а также аппаратных средств прототипирования и эмуляции. Discovery предоставляет производительные и точные средства, использующие современные технологии проектирования, такие как моделирование смешанных проектов, SVA, анализ покрытия, автоматизацию разработки тестов, IP блоки для верификации и формальная верификация. Продукты в составе платформы поддерживают индустриальные стандарты, включая языки SystemVerilog, SystemC, Verilog, VHDL, UPF, OpenVera, Verilog-A/AMS, SPICE и множество других.