本发明涉及芯片设计的功能验证领域,尤其是一种基于UVM的总线验证方法。

背景技术:

随着集成电路工艺的不断进步,集成电路的规模和复杂度也在不断地提高,验证的难度也越来越大。在集成电路设计中,验证工作已经占到了整个研发周期的一半以上,而验证的效率直接关系到芯片的质量和上市速度,所以对验证方法和技术都提出了越来越高的要求。

UVM验证方法学是最新一代的验证方法学,其充分继承了OVM和VMM等验证方法学的优点。UVM验证方法学提供了结构统一的验证平台框架和一整套构建验证平台组件的类库,使用UVM验证方法学可以提高验证效率、降低验证成本,从而使产品及时推向市场。

总线是连接计算机硬件系统内多种设备的通信线路,如PCIe、USB、UART、I2C等。在总线中一般都存在主机和从机,并且有的总线中还允许存在多个主机,在对总线进行验证时,如何解决主机和从机之间的数据交互是总线协议验证中的一个难点。

技术实现要素:

本发明的目的在于克服上述不足,提出了一种基于UVM验证方法学的总线验证方法,其能够非常方便地对总线协议进行验证。

为了解决上述技术问题,本发明搭建了一个具备高可重用性的总线验证平台,其包括:

测试向量TESTS,用于建立和配置验证环境,并运行相应的测试。

虚拟序列vseq,用于调度主机seq和从机seq的运行。

验证环境env,其内部封装了验证总线所需的其他验证组件,包括虚拟序列器vsqr、主机agent、从机agent、记分板scoreboard和覆盖率模型。

虚拟序列器vsqr,用于启动虚拟序列vseq。

主机agent,用于模仿总线上的主机发起总线操作,其内部封装了主机序列器sqr、主机驱动器driver和主机监视器monitor。主机序列器用于将主机seq产生的总线事务数据转交给主机驱动器,主机驱动器根据事务数据的内容驱动总线,主机监视器负责主机的活动。

从机agent,用于模仿总线上的从机响应主机的操作,其内部封装了从机序列器、从机驱动器和从机监视器。

记分板scoreboard,用于总线事务数据的自动比对,其分别接收来自主机和从机监视器的事务数据,然后比对它们是否一致。

覆盖率模型,用于统计总线事务数据的功能覆盖率。

本发明使用UVM验证方法学搭建了可重用的总线验证平台,并编写测试用例,采用受约束的随机激励、功能覆盖率驱动的方法对其进行了功能验证。

附图说明

图1为总线验证平台的系统框图。

图2为总线验证平台的树形层级图。

图3为1次总线操作的流程图。

具体实施方式

本发明验证平台的架构如图1所示,整个验证平台包括测试用例层TEST、验证环境层env、代理层agent和总线接口,验证平台的树形层级图如图2所示。

TEST层是测试用例层,UVM会根据仿真命令行选项+UVM_TESTNAME来运行相应的测试用例。测试用例首先例化并配置验证环境,然后在虚拟序列器vsqr上启动虚拟序列vseq,在vseq中再启动主机seq和从机seq。

env是验证环境层,用于例化所需的验证组件,包括主机agent、从机agent、虚拟序列器vsqr、记分板scoreboard和覆盖率模型cov。主机agent和从机agent分别用于用于模仿总线上主机和从机的行为,虚拟序列器vsqr用于在其上启动虚拟序列vseq,记分板scoreboard用于总线事务数据的自动比对,其分别接收来自主机和从机监视器的事务数据,然后比对它们是否一致。覆盖率模型cov,用于统计总线事务数据的功能覆盖率,从而反映激励的完备性。

agent为代理层,其一般封装了序列器sqr、驱动器和监视器。为了对总线协议进行验证,验证环境中包含主机agent和从机agent分别用于模仿主机和从机的行为。为了让从机seq能够获取主机事务数据,在主机驱动器中定义了peek_imp类型的端口,并在从机序列器中定义了peek_port类型的端口,并在验证环境层中将其连接起来。

验证平台中1次总线操作的流程图如图3所示,首先主机seq产生事务数据并通过主机序列器sqr发送给主机驱动器,主机驱动器获取主机事务数据后,通过端口peek_imp将其发送给从机序列器sqr,然后发起总线操作。从机seq等待主机驱动器获取新的主机事务数据后,通过从机序列器sqr的peek_port端口获取主机事务数据后,然后从机seq根据获取的主机事务数据来产生从机事务数据并在通过从机序列器sqr发送给从机驱动器。从机驱动器获取从机事务数据后,根据从机事务数据的内容来响应主机的操作。

uvm 形式验证_一种基于UVM的总线验证方法与流程相关推荐

  1. html webservice数据交互_一种基于WebService的数据交换方法

    一种基于WebService的数据交换方法 [专利摘要]本发明涉及数据交换[技术领域],特别涉及一种基于WebService的数据交换方法.本发明是以Web服务为依托,通过定义参数的方式进行传入内容和 ...

  2. python检索论文_一种基于Python的音乐检索方法的研究

    应用技术 0 前言 最近两年,人们对于流行音乐的追求与需求量日益增 加,但如何保证用户能在不知歌名只知歌词的情况下,完成 自己的全方面多种类的听歌需求呢?于是,电脑工程师就推 出了"听歌识曲 ...

  3. linux 网络监控 邮件,一种基于Linux的邮件监控方法与流程

    本发明涉及计算机安全技术领域,具体地说是一种实用性强.基于Linux的邮件监控方法. 背景技术: 随着计算机的普及以及人们对个人信息安全的重视,如何保障计算机乃至个人信息的安全成为了一个至关重要的问题 ...

  4. 火焰识别python_一种基于人工智能的火焰图像识别方法与流程

    技术领域 本发明涉及消防技术领域,具体来说,涉及一种基于人工智能的火焰图像识别方法. 背景技术: 目前,随着社会科技的不断发展,人工智能系统是一种能模拟生物脑神经元在大脑中的真实链接,并对外来信号有自 ...

  5. 心电图计算心率公式_一种基于心电信号的心率计算方法与流程

    本发明涉及医学电子信息领域,具体涉及一种基于心电信号的心率计算方法. 背景技术: 心电图是临床最常用的检查之一,应用广泛,包括帮助诊断心律失常.心肌缺血.心肌梗死等.心电图记录的是随心动周期变化的体表 ...

  6. es数据定时清理_一种基于ELK的数据自动清理方法与流程

    本发明涉及涉及ELK.Shell.Kafka.Freemarker等技术领域,尤其涉及一种基于ELK的数据自动清理方法. 背景技术: ElasticSearch是一个基于Lucene的全文搜索服务.它 ...

  7. 小优机器人系统恢复_一种机器人异常恢复系统及方法与流程

    本发明涉及异常恢复系统及方法,尤其涉及一种机器人异常恢复系统及方法. 背景技术: 目前,一些家庭拥有机器人,机器人对人类的生活有很大的影响,它给了人们更加智能化舒适化的享受:但是,当机器人在运行某些应 ...

  8. python贺卡编程_一种卡片编程机及其编程方法与流程

    本发明涉及编程领域,特别涉及一种卡片编程机及其编程方法. 背景技术: 人工智能日趋火热,家长们也逐渐意识到孩子的培养方向,编程教育不仅为孩子的将来提前打下基础,而且还能够培养孩子的逻辑思维能力,优化孩 ...

  9. dq坐标系下无功功率表达式_一种单相脉冲整流器电网电压估算方法与流程

    本发明涉及电力电子技术领域,具体为一种单相脉冲整流器电网电压估算方法. 背景技术: 单相脉冲整流器以其网侧功率因数高.电流谐波小.可实现能量可双向流动等优点,已广泛应用于新能源发电.不间断电源及铁路机 ...

最新文章

  1. 连接centos7桌面方法
  2. 用P3P header解决IE下iframe跨域访问时候session丢失的问题
  3. 爬虫架构师得逆袭之路
  4. 被final修饰的变量在哪存储_final,static,this,super 关键字总结,一点课堂(多岸学院)...
  5. JavaWeb学习笔记——JSTL核心标签库
  6. 数据集制作_轻松学Pytorch自定义数据集制作与使用
  7. 次小生成树(POJ1679/CDOJ1959)
  8. C#父类与子类(多态性)
  9. 開發MOSS2007 Masterpage的一些經驗
  10. ssl1746-商务旅行【tarjan,LCA】
  11. 一眼就能看懂的Java自学手册,终局之战
  12. 计算机英语手抄报活动主题,八一小学举行学生电脑绘画英语手抄报比赛
  13. mysql+select阻塞ddl_MySQL 5.6中如何定位DDL被阻塞的问题
  14. [2178]链表的有序集合 (链表的插排法+重复元素的删除) SDUT
  15. 深度神经网络 卷积神经网络_改善深度神经网络
  16. 2021年PMP考试最新通关宝典
  17. 马里兰帕克分校计算机科学,马里兰大学帕克分校管理信息系统(MIS)专业详解...
  18. 武汉大学计算机学院乒乓球室,武汉大学经济管理学院教职工乒乓球队在武汉大学师生乒乓球赛中获佳绩...
  19. C#编写中英文虚拟键盘
  20. 利用go语言创建钱包并遍历钱包(wallet)

热门文章

  1. 高等数学同济第七版课后答案下册
  2. loj10095 间谍网络
  3. 《程序是怎样跑起来的》第四章
  4. [jillzhang]ExtJs与WCF交互:生成树 --数据库版补充
  5. 【JOURNAL】911的虚惊
  6. MySQL高性能优化规范建议
  7. Linux 常见命令
  8. 2021年结婚登记创36年新低,六大原因值得注意
  9. 卫星导航技术的源起很有戏剧性
  10. 西北工业大学附属中学2019届高考毕业生去向,其中北大清华88人