发明名称 Property coverage in formal verification
摘要
申请公布号 GB0408236(D0) 申请公布日期 2004.05.19
申请号 GB20040008236 申请日期 2004.04.13
申请人 INTEL CORPORATION 发明人
分类号 G01R31/3183;G06F17/50 主分类号 G01R31/3183
代理机构 代理人
主权项
地址