分类树方法在集成电路设计功能验证中的应用  

Application of CTM in Functional Verification of IC Design

作　　者：冯晓[1] 徐金甫[1] 戴紫彬[1] 李伟[1] 

机构地区：[1]解放军信息工程大学电子技术学院,郑州450004

出　　处：《计算机工程》2012年第21期232-236,共5页Computer Engineering

摘　　要：功能验证是制约集成电路设计发展的主要瓶颈,针对功能验证中存在的测试集设计难度大及覆盖模型精度低等问题,提出一种基于分类树方法的高效测试集生成方法及功能覆盖模型搭建方法,将验证方法应用于模加/模减单元的功能验证中。结果证明,运用分类树方法管理测试向量和搭建覆盖模型,可以显著提高验证完备性和可靠性。Functional verification is the major bottleneck in Integrated Circuit（IC） design. Aiming at simulation generating and coverage model issues, this paper proposes an efficient method based on Classification Tree Method（CTM）. This method successfully practices on functional verification of modular addition/subtraction cell. By introducing CTM to manage simulation vectors and to construct coverage model, the integrity and reliability are improved markedly.

关 键 词：分类树方法 功能验证 测试集 覆盖模型 集成电路设计 

分 类 号：TP331[自动化与计算机技术—计算机系统结构]