[发明专利]基于SystemVerilog断言和任务的协同总线验证方法及系统有效
| 申请号： | 201110390469.7 | 申请日： | 2011-11-30 |
| 公开（公告）号： | CN102495782A | 公开（公告）日： | 2012-06-13 |
| 发明（设计）人： | 张挺;陈岚;冯燕 | 申请（专利权）人： | 中国科学院微电子研究所 |
| 主分类号： | G06F11/26 | 分类号： | G06F11/26 |
| 代理公司： | 北京市德权律师事务所 11302 | 代理人： | 刘丽君 |
| 地址： | 100029 *** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了基于SystemVerilog断言和任务的协同总线验证方法及系统。该验证方法包括：步骤1，列举AHB总线时序；步骤2，根据AHB总线时序类型对AHB总线时序进行属性抽象；步骤3，根据预设的条件对AHB总线时序属性用SystemVerilog断言描述，或者对AHB总线时序属性用任务描述。本发明充分利用了断言验证的优点，同时对SystemVerilog断言不易定义的部分属性，利用SystemVerilog任务作为补充，对其描述和验证，两者协同工作，各取所长，以最简便方式，获得较高的覆盖率，达到良好的验证效果。 | ||
| 搜索关键词： | 基于 systemverilog 断言 任务 协同 总线 验证 方法 系统 | ||
【主权项】：
基于SystemVerilog断言和任务的协同总线验证方法，其特征在于，包括：步骤1，列举AHB总线时序；步骤2，根据AHB总线时序类型对AHB总线时序进行属性抽象；步骤3，根据预设的条件对AHB总线时序属性用SystemVerilog断言描述，或者对AHB总线时序属性用SystemVerilog任务描述。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国科学院微电子研究所，未经中国科学院微电子研究所许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201110390469.7/，转载请声明来源钻瓜专利网。
- 上一篇：一种杠杆式离合器分离装置
- 下一篇：一种对三高人群有益的油茶籽毛油精炼方法
