您的位置： 专家智库 > >

国家自然科学基金(60273011)

作品数：2 被引量：2H指数：1
相关作者：吴为民王迪朱明边计年洪先龙更多>>
相关机构：清华大学更多>>
发文基金：国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术电子电信更多>>

文献类型

  • 2篇中文期刊文章

领域

  • 1篇电子电信
  • 1篇自动化与计算...

主题

  • 1篇掩模
  • 1篇英文
  • 1篇自适
  • 1篇自适应
  • 1篇相移掩模
  • 1篇可制造性
  • 1篇可制造性设计
  • 1篇版图
  • 1篇CDFG
  • 1篇EEACC

机构

  • 2篇清华大学

作者

  • 2篇吴为民
  • 1篇洪先龙
  • 1篇边计年
  • 1篇朱明
  • 1篇王迪

传媒

  • 1篇Journa...
  • 1篇计算机工程

年份

  • 1篇2005
  • 1篇2004
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于CDFG和OVL的系统验证性质分类被引量：1
2005年
在数据控制流图(CDFG)结构的基础上,结合模拟验证和模型检测的优点,对需要验证的系统性质进行分类,采用不同的验证方法,提高验证的能力。通过对OVL语言和CTL描述进行改进,针对模拟验证、CDFG图匹配、模型检测3种方法设计相应的性质,实验结果表明这种分治验证策略有助于提高系统验证的效率和规模。
朱明边计年吴为民
一种用于暗域交替式相移掩模设计的自适应版图划分方法(英文)被引量：1
2004年
提出了一种新的用于加速 1 30 nm以下工艺交替式相移掩模设计流程的版图划分方法 ,该方法能够自适应调整版图划分的粒度 .讨论了消除相位冲突的方法和版图压缩中相位兼容性保持的策略 .利用上述算法实现的 CAD原型系统经多个工业界例子的测试表明能够有效地适应随版图尺寸而快速增长的相位冲突复杂性 ,同时提供较好的 PSM设计质量 。
王迪吴为民洪先龙
关键词：相移掩模可制造性设计EEACC
全选 清除 导出
共1页<1>
聚类工具0