邵晶波 龙望宁 杨志 刘领一 邓雨春 李晓维 卢永江 马光胜 唐璞山 邵明 葛海通 王红 李东海 杨士元 薛月菊 邓澍军 杨军 冯刚 吴为民 贝劲松 李华伟 郑伟伟 胡靖 吕涛 丁敏 韩俊刚 范轶平 洪先龙 边计年 李光辉

模拟 FSM 模型判别器 约束分解 比较点匹配 可满足性 布尔可满足性问题 量化 自动化测试激励生成 RTL设计 无界模型检验 符号模型检查 极小布尔不可满足子式 寄存器传输级 测试向量自动生成 割集 VHDL 布尔可满足问题 可满足性模理论 等价性检验 前像计算 等价性检查 同步时序电路 有限状态机 可满足性问题 二叉决策图 布尔可满足性 OBDD 硬件设计 Grbner基