电脑体验，效果更佳

设计验证图谱-自然科学领域：

研究人员

吕涛 樊建平 李晓维 颜萍 刘歆 李华伟

相关术语

模拟 覆盖率 逻辑电路 合取范式 等价性验证 测试矢量自动产生 布尔可满足性

标签云