1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 人力资源/企业管理
  5. 质量管理

形式验证工具功能与工程变更支持技术手册.pdf

形式验证工具功能与工程变更支持技术手册.pdf

    形式验证

    等价性检查与交互式工程变更

    对Design

    概述

    ®

    Compiler和Formality是一种等价性检查（EC）解决方案，采用形式化的静态技术来判定两个

    版本的设计在功能上是否等效。

    Fusion

    Compiler综Formality工程变更辅助和高级调试功能，帮助用户实施和验证工程变更。这些

    合结果进行独立的形

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >