1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 电子工程/通信技术
  5. 电子电气自动化

高复杂度数字电路功能验证的自动化方法研究.docxVIP

  • 1
  • 0
  • 约2.09万字
  • 约 41页
  • 2026-05-24 发布于广东
  • 举报

高复杂度数字电路功能验证的自动化方法研究.docx

    高复杂度数字电路功能验证的自动化方法研究

    目录

    内容简述．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．2

    高复杂度数字电路功能验证基础理论．．．．．．．．．．．．．．．．．．．．．．．．2

    2.1数字电路功能描述方法．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．2

    2.2功能验证的关键指标．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．5

    2.3常用功能验证工具与技术．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．6

    基于形式验证的高复杂度数字电路自动化方法．．．．．．．

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >