求一份Syn@psys的软件，名字叫verification compiler

wintopest · 发表于 2014-3-27 15:21:26

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？注册

x

哪位大牛能否提供一下synopsys的verification compiler软件？

非常感谢！

飞扬紫百合 · 发表于 2014-3-28 22:28:07

Verification Compiler™ provides all of the software capabilities, technology, methodologies and VIP required for the functional verification of advanced SoC designs (See figure 1).

Verification Compiler provides comprehensive support for all simulation flows, including native low power, X-Prop, planning, coverage and execution management. Verification Compiler also supports industry-leading debug flows, including power-aware and HW/SW debug. It also provides access to Synopsys' next-generation static and formal technologies, with advanced low power static checking, formal verification, Clock Domain Crossing (CDC) checking and advanced lint. Verification Compiler makes all of Synopsys' next-generation VIP titles available in simulation and debug flows (See figure 5).

Verification Compiler offers compelling integration features, providing up to 5X performance improvements, 3X productivity improvements, and greatly increased debug efficiency. Finally, Verification Compiler provides users uniquely flexible access to simulation, static/formal and debug features to enable concurrent verification.