更新时间:2022-03-24软件大小:1.3GB 软件分类:网络应用支持语言:中文 激活方式:破解补丁下载方式:百度网盘(百度云) 安装方式:安装包软件别名:Questa Formal 2021软件版本:32/64位
2.打开,双击里面的安装程序进行安装
3.点击next
4.点击这里选择安装位置
5.我们选择c盘以外的地方
6.然后点击next
7.准备好了就点击进行安装
8.软件安装中,请稍后
9.安装完毕
10.然后我们打开刚才解压出来的那个文件夹,找到MentorKG1110_2文件夹
11.然后我们将win64文件夹中的补丁进行复制
12.然后右键桌面上的软件,选择打开文件件所在位置
13.然后将复制后的补丁粘贴在里面
14.然后点击替换
15.至此软件安装完毕
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 - 内部生成同步控制信号。
2.及早发现错误——使验证能够在设计阶段的早期开始,在仿真测试台准备就绪之前。
3.提高验证质量——详尽的方法使您的分析能够遍历整个状态空间,揭示其他验证方法可能会遗漏的意外极端情况。
4.提高验证吞吐量——使用您手头的文件自动生成断言并通过正式引擎运行它们。这些文件包括 DUT 的 RTL 和特定任务的规范文件;例如,描述 SoC 中 IP 连接的 CSV 文件或捕获复杂寄存器访问策略的 XML 文件。
在引擎盖下,世界级、大容量、高吞吐量引擎通过彼此实时合作有效地建立了各自的优势;从而更快地完成验证。任何差异都用“反例”波形说明,显示问题的根本原因,显着减少调试时间和工作量
5.高性能分析——对 核心技术的专门应用研究和工程投资在挂钟性能、内存使用和存储消耗方面不断改进。 再加上经过优化的引擎,这意味着 Questa Formal 经常超出要求的可扩展性和计算资源预期。
小阿伦:
即使你是一个新手,在使用这款软件的时候,你会发现依然可以很轻松的使用它,现在上手成本很低,无需额外的学习,我们的好榜样!
特别说明解压码:zdfans 百度网盘提取码: vdpi
Questa Formal 2021 v2021.1破解版(附破解教程)大小:1.3GB时间:2022-03-24
下载