陈光 吕宗伟 龙望宁 薛宏熙 边计年 林争辉 洪先龙 贝劲松 李翔宇 张镭

组合电路 遗传算法 形式验证 组合逻辑电路 布尔匹配 SBDD 交叉 布尔函数 标签 测试生成 最小项 适应性 变异 故障检测 变量排序 变量序