电脑体验，效果更佳

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

研究人员

薛月菊 杨士元 王红 邓雨春

相关术语

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

标签云