首页
产品
黄页
商标
征信
会员服务
注册
登录
全部
|
企业名
|
法人/股东/高管
|
品牌/产品
|
地址
|
经营范围
发明名称
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
代理机构
代理人
主权项
地址
您可能感兴趣的专利
天线装置及其移动无线装置
一种新基质型抗重金属裂化催化剂及其制备方法
逆变器控制装置
回收尿素微粒的方法
抗旱抗盐碱高效复合肥
富含多种不饱和脂肪酸的油脂
网路游戏角色差异化的处理方法和系统
显示器以及具有显示器的计算机系统
用阴离子交换器的废再生液代替食盐对软化器再生的方法
采用变压吸附技术从变换气中脱除二氧化碳的方法
通过互联网提供和取得信息的方法
规律性析取的系统方法
可通过与异氰酸酯基团的加成以及与活化碳碳共价双键的辐射诱导加成而固化的涂层剂
基架
现场使用的可饮用水源的微生物控制
治疗劲动脉狭窄的血管内膜炎系统及该系统的导液管
由金属颗粒催化生长单壁碳质毫微管
抗粘附无氧铜粗拉线材
装有熔断器的分断开关
蛋白质的共表达