Программы и Дизайн » Linux, Unix и другие ОС » Программное обеспечение (Linux, Unix)
Synopsys VC StaticГод Выпуска: 2025
Версия: vX-2025.06
Разработчик: Synopsys
Сайт разработчика:
http://www.synopsys.comСистемные требования: AMD/Intel 64-bit Linux
Архитектура: amd64
Таблэтка: отсутствует
Язык интерфейса: Английский
Описание: Next-Generation Static and Formal Verification Synopsys' VC Formal™, VC LP™, VC SpyGlass™, SpyGlass® and Timing Constraints Manager tools enable designers and verification engineers to quickly analyze and check RTL designs very early in the design flow, with no need for complex setup, testbenches.