发明名称 Verifying firmware binary images using a hardware design and formal assertions
摘要
申请公布号 GB201617532(D0) 申请公布日期 2016.11.30
申请号 GB20160017532 申请日期 2016.10.14
申请人 Imagination Technologies Limited 发明人
分类号 主分类号
代理机构 代理人
主权项
地址