FT-X DSP派发部件的IFV验证
基于模拟的验证方法是当前应用最为广泛的芯片验证方法,然而随着集成电路设计规模的不断增大,模拟验证的不完备性问题显得越来越突出,编写激励变得越来越困难.对于FT-XDSP派发部件的验证由于结构的复杂性,指令组合的多样性,使得模拟验证变得非常困难,仅仅采用模拟验证方法难以达到全面高效的验证要求.本文采用一种形式化验证分析工具——IFV,基于SVA语言,以定理证明的形式化验证方法针对FT-X DSP派发部件在分支和中断接口关闭情况下的预译码,并行位编码,指令窗口生成以及再译码等功能进行了验证.实验结果表明,使用本文的方法可以很快发现存在的错误,IFV验证是全面和高效的.
大规模集成电路 芯片验证 SVA语言 派发部件
刘金保 李勇 彭元喜
湖南省长沙市国防科学技术大学计算机学院 410073
国内会议
哈尔滨
中文
146-151
2015-08-06(万方平台首次上网日期,不代表论文的发表时间)