计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2008年
7期
1713-1715,1753
,共4页
系统集成芯片%总线功能模型%断言%代码覆盖率%功能覆盖率
繫統集成芯片%總線功能模型%斷言%代碼覆蓋率%功能覆蓋率
계통집성심편%총선공능모형%단언%대마복개솔%공능복개솔
总线结构和互联是SoC设计的核心,因此基于总线的验证成为SoC功能验证的重点和难点.针对AMBA AXI总线的特点以及验证平台可重用性的要求,提出了一种基于IP可重用的,层次化的AMBA AXI总线协议的验证架构,并给出了该架构下激励生成、自检测及覆盖率分析机制.实验结果表明,该架构适用于各种基于AXI总线结构的IP和SoC的验证,能达到较理想的覆盖率,并且具有很好的收敛性.
總線結構和互聯是SoC設計的覈心,因此基于總線的驗證成為SoC功能驗證的重點和難點.針對AMBA AXI總線的特點以及驗證平檯可重用性的要求,提齣瞭一種基于IP可重用的,層次化的AMBA AXI總線協議的驗證架構,併給齣瞭該架構下激勵生成、自檢測及覆蓋率分析機製.實驗結果錶明,該架構適用于各種基于AXI總線結構的IP和SoC的驗證,能達到較理想的覆蓋率,併且具有很好的收斂性.
총선결구화호련시SoC설계적핵심,인차기우총선적험증성위SoC공능험증적중점화난점.침대AMBA AXI총선적특점이급험증평태가중용성적요구,제출료일충기우IP가중용적,층차화적AMBA AXI총선협의적험증가구,병급출료해가구하격려생성、자검측급복개솔분석궤제.실험결과표명,해가구괄용우각충기우AXI총선결구적IP화SoC적험증,능체도교이상적복개솔,병차구유흔호적수렴성.
