基于断言的ahb-wishbone总线桥的功能验证 functional verification of assertion based ahb-wishbone bus bridge in soc.pdfVIP
- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
基于断言的ahb-wishbone总线桥的功能验证 functional verification of assertion based ahb-wishbone bus bridge in soc
第30卷第5期 电气电子教学学报 V01.30N0.5
2008年10月 0FEEE Oct.2008
JoURNAL
姜伟,王祖强
(山东大学信息科学与工程学院,山东济南250100)
功能验证,采用了事务级的验证策略以及随机约束和功能覆盖率等验证技术新特性。总线桥验证平台能够极大的提高验证效率.其组件具有
可重用性。最后在ModelSim工具下进行了仿真,仿真报告和结果说明了总线桥的设计符合要求。
关键词:断言,AVMISysteraVerilog;总线桥
中图分类号:TN402 文献标识码:A
FunctionalVerificationof Based
AssertionAHB—WishboneBus inSOC
Bridge
JIANGWei,WANG
Zu-qiang
(CollegeofInformationScienceand 250100.China)
Engineering,ShandongUniversity,Jinan
AHB ofAMBAwith
Wishbone introducesthemethod
Abstract:Comparingprotocals protocols,thepaper
of bus
AHB-Wishbone hardware andverification
bridgeimplementedbyusing description
areaddedtothe tomonitorofbus toAdvanced
temVerilog.Assertionsdesign timing signals.According
Verification isconstructedinorderto the
Methodology,testbench uses
functionallyverifydesign,which
transaction-level and driven testbench
strategy,constraint—randomcoveragemethodology.Theimproves
theverificationand simulationandresultindicatethatthe meets
efficiencyreusability.Thereport design
the
requirement.
bridge
Keywords:assertions;AVM;SystemVerilog;bus
复杂的设计和功能验证之间的矛盾,出现了新的验
0 引言
您可能关注的文档
- 基于电网分区和综合灵敏度的无功规划 reactive power programming based on power grid zoned and integrated sensitivity.pdf
- 基于电网规划的线损计算方法研究 research on method for line loss calculation based on power grid planning.pdf
- 基于电网分区省地协调的自动电压控制系统优化控制策略 parallel coordinated control strategy for provincial-regional grid based on subarea division of the power system.pdf
- 基于电网电压定向的双馈风力发电机灭磁控制策略 a flux damping control strategy of doubly-fed induction generator based on the grid voltage vector oriented.pdf
- 基于电网雷害分布的输电线路防雷配置方法 lightning protection method for transmission lines based on power grid lightning hazard distribution.pdf
- 基于电网模型的地理信息可视化实现 realization of geographic information visualization based on power network model.pdf
- 基于电网络法的特高压交流悬式瓷绝缘子串均压环的研究 studies on corona rings for uhv lines insulator strings based on electrical network method.pdf
- 基于电网全景模型的服务调度系统设计与实现 research and implementation of service scheduling system based on power grid panoramic model.pdf
- 基于电网频率波动特性的一次调频考核算法分析 analysis on assessment algorithm of primary frequency regulation basing on grid frequency fluctuation characteristics.pdf
- 基于电网协调发展的特高压变电站电气主接线设计原则 design principle for bus arrangement system of uhv substation based on coordinated development of power grid.pdf
- 基于短信息服务的移动安全通信系统设计 design of sms-based mobile secure communication system.pdf
- 基于堆栈操作的电流互感器铁芯磁化模型 magnetization model of current transformer core based on stack operating.pdf
- 基于断言的sram控制器功能验证 assertion based on functional verification of sram controller.pdf
- 基于对称变换群的快速滤波反投影算法 fast filter back projection algorithm based on symmetric transformation group.pdf
- 基于对称分量变换的暂态电流极性方向比较保护算法 current traveling wave polarity comparisonal protection algorithm based on the transformation of symmetrical component.pdf
- 基于对称分量法的变压器谐波传输特性研究 research on harmonic-transmitting feature based on syommetrical component.pdf
- 基于对称分量估计的电压暂降特征量实时检测方法 a real-time detection method of the voltage sag characteristics based on symmetrical components estimation.pdf
- 基于对等网的电力行业网络地理信息服务的构建分析 analysis to structure of network geographic information service for electrical industry based on peer-to-peer network.pdf
- 基于对称载波调制的无刷直流电动机转子位置无传感器检测 rotor position's sensorless detection for bldcm based on symmetry carrier modulation.pdf
- 基于对角递归网络的时变系统解耦控制 decoupling control of time-varying system based on diagonal recurrent neural network.pdf
最近下载
- 2023-2024学年辽宁省大连市沙河口区八年级(上)期末数学试卷+答案解析.pdf VIP
- 统编版(2024)七年级下册道德与法治11.1《法不可违》教案 .pdf VIP
- 小学生古诗词大赛试题(附答案).docx VIP
- GPIR复合外模板现浇混凝土保温系统建筑构造.pdf VIP
- 中小学校长选拔笔试试题及参考答案.docx VIP
- 全国计算机等级考试教程二级WPS Office高级应用与设计:电子表格的创建与编辑PPT教学课件.pptx VIP
- 黔西南州企业融资难融资贵主要情况反馈.doc VIP
- 垂径定理练习.3 垂径定理练习.doc VIP
- (已压缩)关于建筑设计防火的原则规定(1960)(OCR).pdf VIP
- 工业与民用建筑抗震设计规范TJ11-78.pdf VIP
文档评论(0)