鞠海 冯晖 蔡雄飞 陈后鹏 吕宗伟 张镭 李珂 白宁 尹国丽 卢君明 王彬 杨浩 曹炜 范然然 申旦 来金梅 肖军 舒妍 罗晓春 胡庆生 周海峰 雷海燕 周一新 任艳颖 石志钢

YAY 单元库 组合逻辑电路 寄存器传输级 VHDL RT级综合 覆盖 不等BDD VHDL语言 SBDD 逻辑综合 不等蕴含项 Scan结构 工艺映射 D-算法 多芯片组件 单调输出状态 入端导纳 分布性等价 多路器综合 布尔匹配 PFM 同步时序电路优化 PWM VLSI 图形运算 电路综合 对称变量 互连延时 图论 幂乘算法

上海交通大学大规模集成电路研究所 上海交通大学电子工程系 上海交通大学 LSI研究所 西安电子科技大学电机学院仪器检测系 上海交通大学V 上海交通大学LSI所