- 专利标题： DYNAMIC POWER MEASUREMENT USING FORMAL VERIFICATION
-
申请号： EP17151889.7申请日： 2017-01-17
-
公开(公告)号： EP3193236B1公开(公告)日： 2020-09-09
- 发明人: SINGLETON, Iain , NETTERVILLE, John Alexander Osborne , DARBARI, Ashish
- 申请人： Imagination Technologies Limited
- 申请人地址： Imagination House, Home Park Estate, Kings Langley, Hertfordshire WD4 8LZ GB
- 专利权人： Imagination Technologies Limited
- 当前专利权人： Imagination Technologies Limited
- 当前专利权人地址： Imagination House, Home Park Estate, Kings Langley, Hertfordshire WD4 8LZ GB
- 代理机构： Slingsby Partners LLP
- 优先权： GB201600923 20160118
- 主分类号： G06F1/32
- IPC分类号： G06F1/32 ; G06F1/3234 ; G06F30/30 ; G06F30/3323 ; G06F119/06
公开/授权文献
- EP3193236A1 DYNAMIC POWER MEASUREMENT USING FORMAL VERIFICATION 公开/授权日：2017-07-19
信息查询
