电脑体验，效果更佳

邓雨春图谱-计算机领域：

相关人员

王红 邢建辉 薛月菊 杨士元

研究领域

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

所属机构

清华大学自动化系

标签云