贾良玉 王成华 徐岩松 江礼章 刘明业 陈克静 陈福接 赵福元 蒋烈辉 欧阳一鸣 陈宝吉 李思昆 沈嗣昌 曾凡丽 段富 李暾 李晓维 李明仁 董社勤 李光辉 邵明

写作环境 软件 逻辑验证 功能块 逻辑函数 电路 网络模型 硬件描述 数字电路 算法 宏模型 负载平衡 相容 模拟算法 二元判定图 电路模拟 元件库 波形字 程序实现 布尔可满足性 门阵列 晶体管电路 布尔比较 PROLOG 电路分析方法 开关级模拟 异步电路 设计验证 模拟系统 测试方法