孙踊 胡易 王朋宇 沈海华 卫文丽 施华莎 郭崎 苏运霖

全半序 计算机设计 测试流程 覆盖率驱动的测试生成 纳米集成电路 量子位 逻辑电路 模拟仿真技术 二十年 逻辑门 电气参数 随机测试生成 单板机 验证 普通不动点算子 工艺控制图形 遗传算法 电子计算机 Kleene三值逻辑 处理性能 学习能力 信号完整性 散热方式 最高记录 量子信息 浮点运算 神经细胞 量子力学 神经网 神经元