1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 行业资料
  5. 国内专利

用于对设计进行形式验证的装置.pdfVIP

  • 0
  • 0
  • 约1.76万字
  • 约 16页
  • 2023-06-05 发布于四川
  • 举报

用于对设计进行形式验证的装置.pdf

    本申请提供了一种用于对设计进行形式验证的装置。该装置包括：输入模块，用于接收与所述设计对应的状态机在运行时的状态，存储模块，与所述输入模块耦接，用于根据使能信号存储由所述输入模块提供的基准状态，保存模块，与所述存储模块耦接，用于接收保存信号并基于所述保存信号生成所述使能信号，以及比较模块，与所述输入模块和所述存储模块分别耦接，用于比较由所述输入模块提供的当前状态和由所述存储模块存储的基准状态，其中，响应于所述当前状态和所述基础状态相同，所述比较模块生成用于指示存在循环的循环指示信号。相比于直接对

    (19)中华人民共和国国家知识产权局 (12)发明专利 (10)授权公告号 CN 112733478 B (45)授权公告日 2021.08.03 (21)申请号 202110353161.9 审查员 王文聪 (22)申请日 2021.04.01

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >