6.1 Formality的基本特点 6.2 Formality在数字设计过程中的应用 6.3 Formality的功能 6.4验证流程 第七章形式验证 …(27） 7.1 fm shel1命令 7.2一些基本概念 7.2.1 Reference Design Implementation Design 7.2.2 container 7.3读入共享技术库 7.4设置Reference Design 7.5设置Implementation Design 7.6保存及恢复所作的设置 7.7验证 第八章对验证失败的设计进行Debug …(32) 8.1查看不匹配点的详细信息 8.2诊断程序 8.3逻辑锥 8.3.1逻辑锥的概念 8.3.2查看不匹配点的逻辑锥 8.3.3使用逻辑锥来Debug 8.3.4通过逻辑值来分析6.1 Formality 的基本特点 6.2 Formality 在数字设计过程中的应用 6.3 Formality 的功能 6.4 验证流程 第七章 形式验证 ………………………………(27) 7.1 fm_shell 命令 7.2 一些基本概念 7.2.1 Reference Design 和 Implementation Design 7.2.2 container 7.3 读入共享技术库 7.4 设置 Reference Design 7.5 设置 Implementation Design 7.6 保存及恢复所作的设置 7.7 验证 第八章 对验证失败的设计进行 Debug ………………………………(32) 8.1 查看不匹配点的详细信息 8.2 诊断程序 8.3 逻辑锥 8.3.1 逻辑锥的概念 8.3.2 查看不匹配点的逻辑锥 8.3.3 使用逻辑锥来 Debug 8.3.4 通过逻辑值来分析