Synopsys 公司发布了 VC Static vW-2024.09-SP1，这是一款高容量、高性能的形式化验证解决方案，包含一流的算法、方法论、数据库和用户界面。 VC 静态验证平台提供下一代全面的形式化验证解决方案 (VC Formal) 和低功耗验证解决方案 (VC LP)。该平台以先进的平台为中心，无缝集成了各种静态验证应用程序，性能和容量提升了 3-5 倍，能够高效地验证最大规模的片上系统 (SoC) 设计。这项一流的技术在易用性、与 Synopsys DC 和 ICC 的使用模型和流程兼容性、结果准确性、精确报告和先进的调试基础架构方面均具有独特的优势。
Synopsys, Inc. has released VC Static vW-2024.09-SP1 is a high capacity, high performance formal verification solution that includes best-in-class algorithms, methodologies, databases and user interfaces.
VC Static Verification Platform offers next-generation comprehensive Formal Verification solution (VC Formal) and Low Power verification solution (VC LP). This advanced platform centric seamless integration of various static verification applications provides 3-5x better performance and capacity to enable efficient and effective verification of the largest System-on-Chip (SoC) designs. The best-in-class technology has unique offerings in terms of ease-of-use, compatibility with Synopsys DC and ICC for use model and flows, accuracy of results, precise reporting and advanced debug infrastructure.
Learn About VC Formal Apps: Automated Extracted Properties (AEP) | Synopsys
Using formal verification to catch design bugs does not require formal expertise. Synopsys VC Formal AEP app is designed to help designers and verification engineers catch many kinds of design errors by automatically extracting properties in the design.
Synopsys, Inc. is the world leader in electronic design automation (EDA) software for semiconductor design. The company delivers technology-leading semiconductor design and verification platforms and IC manufacturing software products to the global electronics market, enabling the development and production of complex systems-on-chips (SoCs). Synopsys also provides intellectual property and design services to simplify the design process and accelerate time-to-market for its customers. Synopsys is headquartered in Mountain View, California and has offices in more than 60 locations throughout North America, Europe, Japan and Asia.
Owner: Synopsys
Product Name: VC Static
Version: vW-2024.09-SP1
Supported Architectures: x86_64
Website Home Page : http://www.synopsys.com
Languages Supported: english
System Requirements: Linux *
Size: 29.4 Gb
Password/解压密码www.tbtos.com