formalityuserguide 上传者：kengjin 2019-05-15 13:45:49上传 PDF文件 4.49MB 热度 35次 Formality是一种等效性检测工具，采用形式验证的技术来判断一个设计的两个版本在功能上是否等效。 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 码姐姐匿名网友 2019-05-15 13:45:49 比较全面的英文指导教程！ 码姐姐匿名网友 2019-05-15 13:45:49 Formality是synopsis公司的形式验证工具，用于进行RTL-RTL，RTL-NETLIST，NETLIST-NETLIST的等效验证。验证速度快，效率高，是进行数字IC功能验证的有力工具。 发表评论
比较全面的英文指导教程！
Formality是synopsis公司的形式验证工具，用于进行RTL-RTL，RTL-NETLIST，NETLIST-NETLIST的等效验证。验证速度快，效率高，是进行数字IC功能验证的有力工具。