未来芯片主流验证技术正规验证等效电路检查技术

摘要：

@@ 简单来说,有3种验证电路逻辑正确性的方法--模拟(Simulation)、仿真(Emulation)以及正规方法(Formal Methods),如图1.

机标关键词：芯片、验证技术、等效电路、验证电路、方法、模拟、逻辑、仿真

分类号：TP3;TN4

在线出版日期：2007-09-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：59-64