电脑体验，效果更佳

等价性检查图谱-计算机领域：

研究人员

薛月菊 邓雨春 王红 杨士元

相关术语

RTL设计 符号模型检查 测试向量自动生成 形式验证 布尔可满足性

标签云