4.1i核心生成器,ViTEX II PRO -“执行正式验证脚本/ PROJ///CORE2FALLURIX WRP时出错”

描述

关键词:核心生成器,COREGEN,ViTEX II PRO,形式验证,CARE2FALLALYWRIP,形式,VILPLEX

紧迫性:标准

一般描述
当我尝试为VixEndiPro生成一个内核,并选择生成正式的验证文件时,报告了以下错误:

生成形式化验证支持文件…

错误:执行正式验证脚本/PROJ/SWOP1/XILIX/4.1I/COREGNE/BI/SOL/CORE2FALLALWIEWRP时出错。
请检查COREGEN.LUG以获取错误消息。
错误:核心V2PY计数器没有生成形式化形式验证支持模型。
警告:在生成V2Py计数器(二进制计数器4)时可能遇到的警告和/或错误可能尚未生成。
错误:核心Binary Counter的细化失败
错误:核心二进制计数器的详细说明失败。

解决方案

虽然核心生成器选项允许您选择特征,但是VelTeX II Pro的形式验证支持还不可用。因此,不会生成适当的文件。

VIETEX II PRO的形式化验证支持将被添加到4.1IIP更新1(EAIP1)中。
编辑 重设标签(回车键确认) 标为违禁 关闭 合并 删除

提问于 2018-07-30 08:33:01 +0800

这个帖子被标记为一个社区wiki

这个帖子是一个wiki(维基). 任何一个积分 >500的人都可以完善它