摘要
总线结构和互联是SoC设计的核心,因此基于总线的验证成为SoC功能验证的重点和难点。针对AMBA AXI总线的特点以及验证平台可重用性的要求,提出了一种基于IP可重用的、层次化的AMBAAXI总线协议的验证架构,并给出了该架构下激励生成、自检测及覆盖率分析机制。实验结果表明,该架构适用于各种基于AXI总线结构的IP和SoC的验证,能达到较理想的覆盖率,并且具有很好的收敛性。
Bus intercormection structure is the core of SoC design, so bus verification becomes the focal point of SoC verification. According to AMBA bus characteristics, a hierarchical and IP-reused AMBA bus verification platform is proposed which complied AMBA bus protocol to achieve reusability. An effective mechanism is also introduced for stimulus generating, self-check and coverage analysis on the platform. Experiments show that this verification platform is applicable to various SoC and IPs verifications based on the standard AMBA bus protocol. Furthermore, expected coverage and convergence are achieved.
出处
《计算机工程与设计》
CSCD
北大核心
2008年第7期1713-1715,1753,共4页
Computer Engineering and Design
基金
国家863高技术研究发展计划基金项目(2002AA110010)
国家自然科学基金项目(60603049)
中国科学院知识创新工程重大基金项目(KGCX1-SW-09)