吴为民
【姓名】 吴为民
【职称】 教授;
【研究领域】 无线电电子学;计算机软件及计算机应用;化学;
【研究方向】 VLSI物理设计和形式验证技术的研究
【发表文献关键词】 v-SVR,光学临近校正,层次化模型,模型判别,冲突图,增量式布局,基于规则,形式验证,划分,相移掩模,拥挤度,自动机,最小匹配,标准单元,信号量,校正方法,布局算法,二次布局,状态数,MFFC,英文...
【工作单位】 清华大学
【曾工作单位】 清华大学;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/27 23 23 3 89 1666
中国期刊全文数据库    共找到23篇
[1]郑伟伟;吴为民;边计年;.基于线性规划的RTL可满足性求解和性质检验[J]计算机辅助设计与图形学学报.2006,(04)
[2]邓澍军;吴为民;边计年;.RTL验证中的混合可满足性求解[J]计算机辅助设计与图形学学报.2007,(03)
[3]李卓远,吴为民,王旸,洪先龙.一种新的光学临近校正方法(英文)[J]半导体学报.2003,(12)
[4]杨长旗,洪先龙,吴为民,蔡懿慈,石蕊.对象模型在集成电路掩膜光学临近矫正中的应用[J]计算机辅助设计与图形学学报.2003,(03)
[5]李卓远,吴为民,洪先龙.优化线长和拥挤度的增量式布局算法[J]计算机辅助设计与图形学学报.2003,(06)
[6]王迪,刘涛,吴为民,洪先龙.具有交替型相移掩模技术的CAD系统[J]计算机集成制造系统-CIMS.2003,(S1)
[7]聂江波,边计年,薛宏熙,吴为民,朱明.基于模块的层次化模型判别[J]微电子学与计算机.2003,(12)
[8]李卓远,吴为民,洪先龙.基于整数规划的优化拥挤度的增量式布局算法(英文)[J]半导体学报.2004,(01)
[9]李卓远,吴为民,洪先龙.优化时延与拥挤度的增量式布局算法(英文)[J]半导体学报.2004,(02)
[10]吕勇强,洪先龙,侯文婷,吴为民,蔡懿慈.一种应用于二次布局的有效划分方法(英文)[J]半导体学报.2004,(03)
更多
中国重要会议全文数据库    共找到4篇
[1]吴为民;边计年;.采用CLP进行高层次设计的性质检验[A].第三届中国测试学术会议论文集.2004-10-01
[2]陈闽川;吴为民;边计年;.基于可满足性问题求解的时序电路性质检验方法[A].第三届中国测试学术会议论文集.2004-10-01
[3]韩俊刚;吴为民;李暾;杜慧敏;.(A7)专题讨论2:形式验证与模拟验证[A].第四届中国测试学术会议论文集.2006-08-01
[4]邓澍军;吴为民;边计年;.RTL验证中的混合可满足性求解[A].第四届中国测试学术会议论文集.2006-08-01
更多
承担国家科研项目    共找到2个
[1]吴为民;.RTL电路的混合可满足性求解和模型检验[A].清华大学;.项目经费 25万元.2006-03-27.资助文献数 3 篇
[2]吴为民;.面向RT级电路的分级模型判别技术[A].清华大学;.项目经费 20万元.2002-03-31.资助文献数 7 篇
更多