会议专题

SoC系统级随机化功能验证方法的研究

为了克服RTL级验证方法的局限性,本文提出了采用随机测试向量在SoC的系统级进行功能验证的方法。论证了该方法的有效性。该方法采用高级建模语言来构建系统级的测试平台,采用多种随机化机制来生成测试向量。大量的测试结果证明该方法不仅能够获得较好的功能覆盖率,而且能够尽可能早地发现SoC设计中的功能性错误。

片上系统 系统级功能 随机测试 高级建模语言 功能验证

杨珺 马秦生 曹阳 王敏

武汉大学电子信息学院,湖北武汉 430079

国内会议

第十三届全国青年通信学术会议

山东烟台

中文

429-432

2008-10-31(万方平台首次上网日期,不代表论文的发表时间)