您的位置: 专家智库 > >

国家自然科学基金(60273011)

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

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 1篇PARTIT...
  • 1篇ALTERN...
  • 1篇CDFG
  • 1篇DESIGN
  • 1篇PHASE-...
  • 1篇MASK
  • 1篇CONFLI...

机构

  • 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种方法设计相应的性质,实验结果表明这种分治验证策略有助于提高系统验证的效率和规模。
朱明边计年吴为民
Adaptive Layout Partitioning for Dark Field Alternating Phase-Shift Mask Design被引量:1
2004年
A new partitioning methodology is presented to accelerate 130nm and beyond large scale alternating phase shift mask(Alt PSM) design flow.This method deals with granularity self adaptively.Phase conflicts resolution approaches are described and strategies guaranteeing phase compatible during layout compaction are also discussed.An efficient CAD prototype for dark field Alt PSM based on these algorithms is implemented.The experimental results on several industry layouts show that the tool can successfully cope with the rapid growth of phase conflicts with good quality and satisfy lower resource consumption with different requirements of precision and speedup.
王迪吴为民洪先龙
关键词:PARTITION
共1页<1>
聚类工具0