发明名称 METHOD AND DEVICE FOR THE FORMAL VERIFICATION OF A CIRCUIT
摘要
申请公布号 EP1639507(B1) 申请公布日期 2008.07.09
申请号 EP20040705780 申请日期 2004.01.28
申请人 ONESPIN SOLUTIONS GMBH 发明人 BUSCH, HOLGER
分类号 G06F17/50 主分类号 G06F17/50
代理机构 代理人
主权项
地址