科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
公开/公告号CN1710567A
专利类型发明专利
公开/公告日2005-12-21
原文格式PDF
申请/专利权人 复旦大学;
申请/专利号CN200510027606.5
发明设计人 丁敏;唐璞山;
申请日2005-07-07
分类号G06F17/50;
代理机构上海正旦专利代理有限公司;
代理人陆飞
地址 200433 上海市邯郸路220号
入库时间 2023-12-17 16:46:38
法律状态公告日
法律状态信息
法律状态
2008-04-16
发明专利申请公布后的视为撤回
2006-02-15
实质审查的生效
2005-12-21
公开
机译: 等价验证程序,计算机可读记录介质等价验证程序,等价验证设备和等价验证方法
机译: 逻辑等价验证装置,逻辑等价验证方法,逻辑等价验证程序和记录介质
机译: 源代码等价验证装置和源代码等价验证方法
机译:通过两步验证加快时序电路有限模型检查的方法
机译:用于单通量量子电路设计验证的时间均衡逻辑表达式的等价确定方法
机译:用于单磁通量量子电路设计验证的定时逻辑公式的等价判断方法
机译:基于Gröbner基的有界时序电路的等价性检验。
机译:常见项目的等价化方法和格式表示形式对使用非等价组的等价混合形式测试等价性的影响
机译:FREMANTLE后悟问卷的跨文化等价验证与调查 - 德国版(Frebaq-G)
机译:一类多相时序电路的有效验证方法
机译:基于VHDL的时序电路规范和等效性验证。