李永刚 林争辉 吴继娟 雷绍充 蒋凡 张光昭 郑光华 林锦滨 梁峰 王勇 李思昆 吕宗伟 程绍银 李瑞 胡政 温熙森 张晓菲 刘蓬侠 吴丽华 陈祖爵 王嘉捷 王轸 陈翎 龙建忠 万雅奇 萨智海 黄建文 潘中良 易晓山 孙媛媛

能量函数 故障模拟 二元判定图 敏化路径 伪穷举测试 边界扫描 最小权值优化算法 触发器 优化 布尔函数 同步时序电路 最优神经网络 穷举测试 冒险 大功能块 验证系统 符号执行 电路划分 电子工程 湮没 约束求解 回归测试 能量函数 电路并行 缺陷发现 静态分析 布尔矩阵 控制流 遗传算法 故障检测

能量函数