Редактирование: Synopsys Discovery

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



[http://www.synopsys.com www.synopsys.com]
[[category:Поставщики и продукты]] 
[[category:EDA – САПР электроники]]
[[category:Продукты Synopsys]]