- 专利标题： Methods and systems for verifying a property of an integrated circuit hardware design using a quiescent state
-
申请号： US17382674申请日： 2021-07-22
-
公开(公告)号： US11900036B2公开(公告)日： 2024-02-13
- 发明人: Reinald Cruz
- 申请人： Imagination Technologies Limited
- 申请人地址： GB Kings Langley
- 专利权人： Imagination Technologies Limited
- 当前专利权人： Imagination Technologies Limited
- 当前专利权人地址： GB Kings Langley
- 代理机构： Potomac Law Group, PLLC
- 代理商 Vincent M DeLuca
- 优先权： GB 11344 2020.07.22
- 主分类号： G06F30/3323
- IPC分类号： G06F30/3323 ; G06F119/16 ; G06F119/12
摘要：
Methods and systems for verifying a property of an integrated circuit hardware design. The method includes formally verifying, using a formal verification tool, that the property is true for the hardware design under a constraint that an instantiation of the hardware design transitions to a quiescent state at a symbolic time.
信息查询
