电脑体验，效果更佳

设计验证图谱-计算机领域：

研究人员

米丹 赵阳 李光辉 邵明 沈理 李华伟 李明仁 陈福接 曾松伟 李思崑 吕涛 刘明 李思昆 李晓维

相关术语

无界模型检验 寄存器传输级（RTL） 逻辑模拟 设计自动化 个人电脑 集成电路 设计流程 VLSI测试 Boolean可满足性问题（SAT） 模拟 存储元素映射 芯片设计 等价性检验 仿真

标签云