电脑体验，效果更佳

符号模型检查图谱-机械领域：

研究人员

王红 邓雨春 杨士元 薛月菊

相关术语

等价性检查 形式验证 测试向量自动生成 RTL设计 布尔可满足性

标签云