吴丹 张钢刚 牛英山 贾嵩 张旻晋 张华高 徐勇军 李华伟 徐维锋 谢凯年 王源 骆祖莹 张燕军 付宇卓 刘三清 陈岚 卢俊 谈晓婷 邹雪城 李晓维

微控制器 CMOS 源同步 DDR接口 亚阈电流 形式验证 时延测试 数字集成电路 通路时延故障 标准单元库 语言描述 库验证 流片 设计研究 静态验证 综合 双阈值电压 时钟树综合 合肥工业大学 逻辑综合 时序约束 非线性时序模型 SoC设计 串扰 深亚微米