陈虹 马光胜 贾晨 刘鸣 李云 冯彬 胡靖 王志华 李东海 黄少滨 方恺晴 石琳

CPU 标准单元库 遗传算法 演化程序 字级多项式 超低功耗 模型计算机 等价验证 存储器 微程序控制 微程序 标准单元 高层次综合 带权值广义表 控制器 专用集成电路 运算器 亚阈值数字电路 时序