韩丰田 王路路 林慧慧 沈理 袁永升 赵致格 木妮娜·玉素甫 岳丽娟 洪先龙 冯刚 杜振军 薛宏熙 李永刚 马光胜 柳西玲 肖宪国

加权活动元件队列 链表 数字电路 AHPL 加速比 Boole过程论 元件模型 计算机辅助设计 Verilog硬件描述语言 高层次测试 逻辑设计 时间映射 逻辑验证 CAI 有限自动机 寄存器传输级模型