首页> 中文期刊> 《微电子学与计算机》 >基于断言的WISHBONE到AHB转换桥验证

基于断言的WISHBONE到AHB转换桥验证

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

随着集成电路设计复杂程度的不断提高.功能验证越来越受到重视.一种新兴的验证方法,基于断言的验证,得到越来越广泛的应用.介绍了基于断言的验证方法.及其在WISHBONE到AHB转换接口验证中的应用,总结了断言验证在功能验证中的优势和特点.

著录项

来源
《微电子学与计算机》 |2012年第6期|150-152|共4页
作者
张挺; 陈岚; 冯燕;
展开▼
作者单位

中国科学院微电子研究所;

展开▼
原文格式 PDF
正文语种 chi
中图分类大规模集成电路、超大规模集成电路;
关键词
WISHBONE; AHB; 总线时序; SystemVerilog断言; 基于断言的验证;

相似文献

中文文献
外文文献
专利

1. 基于断言验证技术的Wishbone AHB协议总线桥设计研究 [J] . 刘洋 . 科学与财富 . 2011,第003期
2. 基于断言的AHB-Wishbone总线桥的功能验证 [J] . 姜伟 ,王祖强 . 电气电子教学学报 . 2008,第005期
3. 双向AHB-WISHBONE总线桥的设计与验证 [J] . 夏宏 ,郝春娥 ,闫江毓 . 计算机工程与设计 . 2011,第006期
4. AHB-Wishbone总线桥的设计与实现 [J] . 万静 ,王宏滨 . 自动化技术与应用 . 2010,第002期
5. 片上系统中WISHBONE/AMBA AHB总线桥的前端设计 [J] . 宋云扬 ,罗仁贵 ,侯立刚 . 电子工程师 . 2007,第1期
6. AHB-16-bit PC Card桥及其基于BFM的功能验证 [C] . 张燕 . 第十二届全国青年通信学术会议 . 2007
7. 基于ARM的USB2.0-AHB总线桥IP的验证方法研究以及设计实现 [A] . 陈静 . 2007

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号