返回首页 中 文 English
  站内搜索:

荆明娥

系别: 微电子学院
职称: 副研究员
职务:
办公室: 张江微电子楼319室
电话: 021051355200-840
E-mail: mejing@fudan.edu.cn
主页:
   
教育背景
9/1/1995至3/1/2005   西安电子科技大学 ?   本硕博学生
4/1/2005至4/1/2007   复旦电子科学与技术博士后流动站   博士后
研究方向
DEA设计,形式验证中的模型检验与等价性验证
课程教学
本科课程:概率论与数理统计
研究生课程:离散数学与最优决策
学术兼职
科研项目
国家自然科学基金:EDA形式验证中可满足性(SAT)问题的算法研究 ,负责人
中国博士后科学基金资助金:超大规模集成电路参数成品率的建模和优化,负责人
论文著作
1.IEEE Trans on CAD,Global Yield Optimization by Uniform Design Searching & Mapping Distance Analysis,,26(6),1149-1155
2.中国科学E辑:信息科学 ,启发式极性决策算法解SAT问题,, 37 (012),1597-1606
3.Sci China Ser F-Inf,Solving SAT Problem by Heuristic Polarity Decision-Making Algorithm,,50 (6),915-925
4.Microelectronics Reliability,2005,Efficient Parametric Yield Estimation of VLSI Circuit by Uniform Design Sampling Method,,45(1),155-162
5.2004 7th International Conference on Solid-state and Integrated-circuit Technology,Beijing, China,A Study of Parametric Yield Estimation by Uniform Design Sampling,,, 2287-2290
6.计算机辅助设计与图形学学报,利用近似解加速SAT完全算法,,19(9),1184-1189
7.电路与系统学报,基于RSM和均匀试验的IC成品率设计方法,,10(3),89-92
8.半导体学报,VLSI成品率重心游移算法的一个几何解释,,25(5) , 594-596
9.电子学报,VLSI集成电路参数成品率及优化研究,,31(12A),1971-1974
获奖情况
返回

Copyright@2000-2011复旦大学信息科学与工程学院   内部使用