您的位置： 专家智库 > >

张忠林

作品数：6 被引量：0H指数：0
供职机构：复旦大学更多>>
发文基金：国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术电子电信医药卫生更多>>

合作作者

文献类型

  • 2篇期刊文章
  • 2篇学位论文
  • 2篇专利

领域

  • 2篇电子电信
  • 2篇自动化与计算...
  • 1篇医药卫生

主题

  • 3篇电路
  • 3篇计算方法
  • 2篇时序电路
  • 2篇数据结构
  • 2篇同步时序电路
  • 2篇遍历
  • 2篇初始化
  • 2篇存储方式
  • 1篇等价
  • 1篇形式化
  • 1篇形式化验证
  • 1篇运动皮质
  • 1篇皮质
  • 1篇肿瘤
  • 1篇肿瘤患者
  • 1篇组合电路
  • 1篇脑肿瘤
  • 1篇脑肿瘤患者
  • 1篇功能MRI
  • 1篇功能MRI研...

机构

  • 6篇复旦大学

作者

  • 6篇张忠林
  • 4篇唐璞山
  • 1篇李亮

传媒

  • 1篇计算机工程
  • 1篇微电子学

年份

  • 1篇2008
  • 1篇2006
  • 2篇2005
  • 1篇2004
  • 1篇2001
共 6 条 记 录，以下是 1-6
全选 清除 导出
排序方式：
同步时序电路时序深度计算方法
本发明属超大规模集成电路技术领域，具体为一种同步时序电路时序深度计算方法，该方法以可满足性算法引擎为基础，数据结构采用可达状态的显式存储方式来降低可满足性算法的负担，具体步骤包括状态的初始化、后续状态的计算、历史状态的遍...
张忠林唐璞山
文献传递
一种新颖的基于层划分的等价验证方法
2004年
　提出了一种基于SAT问题的组合电路等价验证算法,该算法特别适用于验证有着一定相似部分的两个电路。其主要创新之处为:1)基于层划分的配对点生成方法;2)基于阈值控制的回溯过程。ISCAS'85的实例很好地证明了该算法的有效性。
李亮唐璞山张忠林
关键词：组合电路
同步时序电路时序深度计算方法
本发明属超大规模集成电路技术领域，具体为一种同步时序电路时序深度计算方法，该方法以可满足性算法引擎为基础，数据结构采用可达状态的显式存储方式来降低可满足性算法的负担，具体步骤包括状态的初始化、后续状态的计算、历史状态的遍...
张忠林唐璞山
文献传递
一个基于可满足性算法的时序深度计算方法
2006年
有界模型校验(Bounded Model Checking)由于验证的不完备性而经常受到验证人员的指责。为了解决这个问题,计算时序深度的算法被提出。该文算法基于可满足性算法引擎,与其它基于可满足性算法引擎的算法不同,为了减少可满足性算法引擎的负担,采用了状态空间显式存储的方法。ISCAS’89的实例很好证明了该算法的有效性。
张忠林唐璞山
脑肿瘤患者运动皮质活动的BOLD功能MRI研究
第一部分,BOLD功能MRI成像参数对图像质量影响的基础研究.目的:应用1.5TfMRI探讨回波时间(TE)与图像信噪比(SNR)、磁敏感伪影及功能区活动之间的关系.第二部分,正常运动皮质的BOLD功能MRI基础研究.目...
张忠林
关键词：脑肿瘤功能MRI
文献传递
有界模型检验与时序深度计算算法研究
随着集成电路技术的飞速发展，电路的规模不断增大。电路验证领域正面临前所未有的挑战，如何快速并且完备地完成超大规模集成电路的设计验证，已经成为当前的研究热点。与传统的基于模拟的验证方法相比，形式化验证方法中的模型验证方法由...
张忠林
关键词：形式化验证
文献传递
全选 清除 导出
共1页<1>
聚类工具0