电脑体验，效果更佳

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

研究人员

薛月菊 邓雨春 杨士元 王红

相关术语

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

标签云