计算机应用研究2008，Vol.25Issue(7)：2078-2080,2137,4.
基于覆盖率模型的AMBA接口随机验证方法
Coverage model-based random verification methodology of AMBA interface
摘要
关键词
覆盖率模型/约束化随机测试/AMBA AHB/龙芯1号IP核/片上系统/设计重用分类
信息技术与安全科学引用本文复制引用
许彤,吕涛..基于覆盖率模型的AMBA接口随机验证方法[J].计算机应用研究,2008,25(7):2078-2080,2137,4.基金项目
国家自然科学杰出青年基金资助项目(60325205) （60325205）
国家自然科学基金重点资助项目(60633060) （60633060）
中国科学院计算所知识创新课题基金资助项目(20056230) （20056230）
国家自然科学基金资助项目(60603049) （60603049）
国家"973"重点基础研究发展计划资助项目(2005CB321600) （2005CB321600）
