检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]安庆师范学院教育技术系,安徽安庆246011 [2]合肥工业大学微电子设计研究所,安徽合肥230009
出 处:《微机发展》2005年第5期43-45,共3页Microcomputer Development
基 金:国家"863"计划资助项目(2002AA1Z1730);科技部重要技术标准研究专项课题资助项目(2002BA906A07)
摘 要:随着集成电路设计规模的不断增加,传统的验证方法学由于无法提供足够的能力来检查系统所有可能功能的正确性,已经不能满足SOC验证的需求。验证重用方法学是解决这一问题的有效途径。在SOC的验证过程中,利用总线协议检验器对片上总线上发生的事务进行协议检验,并将检验结果以文本格式显示出来,从而可以帮助验证工程师有效地判断数据传输的正确性,达到验证单个模块和系统功能的目的。总线协议检验器比传统的总线监视器存在自动化程度较高等优点,增强了验证的自动化,减少了验证时间,提高了验证效率。文中提出了一种总线协议检验器的设计方法,并给出了具体的实现过程。As the growth of the VLSI design scale, traditional verification methods can not satisfy the SOC verification request, because it dose not supply the enough ability to check all the function rightness and can not ensure the product quality. Verification reuse methodology can solve this problem effectively. In SOC verification,can make use of bus protocol checker to monitor bus, and monitor result display in a special format, so can estimate the validity of bus data, and check models and the system. Bus protocol checker, which improves automation, reduces verification time and increases verification efficiency, is beneficial to automation compared to the bus monitor. A bus protocol checker has been presented and implementation has been given.
分 类 号:TN4[电子电信—微电子学与固体电子学]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.15