Hdl语言仿真软件 Questa Formal 2021 v2021.1 破解版(附破解补丁)

Questa Formal 2021 v2021.1是一款强大的HDL语言仿真软件，具备高效精确的仿真能力，能显著提升硬件设计验证效率。它有着丰富的高级特性，补丁的应用还可不受限制运用功能。

我超喜欢它的形式化验证功能。以往在硬件设计验证时，采用传统仿真方法耗时久、覆盖率低，难以找出隐匿的设计缺陷。而这个形式化验证功能利用数学算法全面验证设计，快速找出潜在问题，极大节省时间和精力，让设计可靠性大大提升。

新增功能

1、新的 Tcl 命令

Questa Formal可以提升约束- 用于更改指定 CDC 约束的提升属性的新指令。

-重置检查首选项隔离- 为隔离策略设置首选项的新指令。

2、新的复位检查方案/检查

reset_as_data - 异步设置或复位信号连接到数据引脚。

3、新的 Lint 检查

case_small - case 语句的 case 项较少。

评论密度_低- 设计文件的注释密度小于指定的限制。

func_arg_array_constrained - 函数参数是一个受约束的数组。

module_has_multi_clks - 多个顺序块使用相同的时钟。

net_decl_with_assign - net 在同一个语句中声明和赋值

package_disallowed - 不允许使用指定的包。

package_name_not_standard - 包名不遵循标准命名规则。

pragma_disallowed - 不允许使用指定的 pragma。

reg_reset_value_disallowed- 寄存器被分配了一个复位值，这是不允许的。

sync_control_is_internal - 内部生成同步控制信号。

软件特色

1、自动化应用程序 – 提供快速、准确、一键式自动验证特定设计方面的功能，这些方面使用传统方法难以验证、耗时或几乎无法验证

2、及早发现错误——使验证能够在设计阶段的早期开始，在仿真测试台准备就绪之前。

3、提高验证质量——详尽的方法使您的分析能够遍历整个状态空间，揭示其他验证方法可能会遗漏的意外极端情况。

4、提高验证吞吐量——使用您手头的文件自动生成断言并通过正式引擎运行它们。这些文件包括 DUT 的 RTL 和特定任务的规范文件；例如，描述 SoC 中 IP 连接的 CSV 文件或捕获复杂寄存器访问策略的 XML 文件。

在引擎盖下，世界级、大容量、高吞吐量引擎通过彼此实时合作有效地建立了各自的优势；从而更快地完成验证。任何差异都用“反例”波形说明，显示问题的根本原因，显着减少调试时间和工作量

5、高性能分析——对 核心技术的专门应用研究和工程投资在挂钟性能、内存使用和存储消耗方面不断改进。 再加上经过优化的引擎，这意味着 Questa Formal 经常超出要求的可扩展性和计算资源预期。