| checksum_info.txt | 1.3 KB | ||
| impl_INSTALL_README.txt | 9.67 KB | ||
| impl_vX-2025.06_common.spf.part00 | 1.6 GB | ||
| impl_vX-2025.06_common.spf.part01 | 1.6 GB | ||
| impl_vX-2025.06_common.spf.part02 | 1.6 GB | ||
| impl_vX-2025.06_linux64.spf.part00 | 1.54 GB | ||
| impl_vX-2025.06_linux64.spf.part01 | 1.54 GB | ||
| vc_static_INSTALL_README.txt | 9.63 KB | ||
| vc_static_vX-2025.06_aarch64.spf.part00 | 1.76 GB | ||
| vc_static_vX-2025.06_aarch64.spf.part01 | 1.76 GB | ||
| vc_static_vX-2025.06_aarch64.spf.part02 | 1.76 GB | ||
| vc_static_vX-2025.06_aarch64.spf.part03 | 1.76 GB | ||
| vc_static_vX-2025.06_common.spf.part00 | 1.95 GB | ||
| vc_static_vX-2025.06_common.spf.part01 | 1.95 GB | ||
| vc_static_vX-2025.06_common.spf.part02 | 1.95 GB | ||
| vc_static_vX-2025.06_common.spf.part03 | 1.94 GB | ||
| vc_static_vX-2025.06_linux64.spf.part00 | 1.69 GB | ||
| vc_static_vX-2025.06_linux64.spf.part01 | 1.69 GB | ||
| vc_static_vX-2025.06_linux64.spf.part02 | 1.69 GB | ||
| vc_static_vX-2025.06_linux64.spf.part03 | 1.69 GB | ||
| vc_static_vX-2025.06_linux64.spf.part04 | 1.69 GB | ||
| vc_static_vX-2025.06_linux64.spf.part05 | 1.69 GB | ||
| ▲ 22 total files | |||
Программы и Дизайн » 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.
All Comments