电脑体验，效果更佳

薛月菊图谱-机械领域：

相关人员

王红 杨士元 邓雨春

研究领域

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

所属机构

清华大学自动化系

标签云