简介
主要科研项目
荆明娥，1995年至2005年在西安电子科技大学学习，并获得学士，硕士和博士学位。2005年至2007年在复旦电子科学与技术博士后流动站，并获得中国博士后奖学金一等奖。2007年至今在复旦微电子研究院工作。
项目负责人 国家自然科学基金 EDA形式验证中可满足性(SAT)问题的算法研究（60773125）2008.1-2010.12
具体研究方向:
集成电路的形式验证，可制造性（DFM）设计
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。