草庐IT

uart项目验证(三)-验证环境搭建(总)

whddddddddddd 2023-08-26 原文

目录

1、前言

2.整体环境搭建

1.1 sequence_lib

1.1.1 uart_ctrl_sequence_lib

1.1.2 virtual_uart_ctrl_sequence_lib

1.2 virtual_sequencer

1.3 uart_ctrl_env

1.4 top顶层搭建

1.4.1 top

1.4.2 pkg

 1.5 base_test

1.6 冒烟测试

 2 其他组件以及细节填充

2.1 配置文件config

2.2 增加sequence进行简单验证

2.3 更新virtual_uart_ctrl_sequence_lib

2.4 编写对应case

​编辑 3 仿真波形

4 结语 

1、前言

整个uvm学习完毕后,初步了解并搭建出简单的验证环境,故为一个uart模块搭建验证环境;该uart的具体实现及详细介绍可见这篇文章:UART项目验证(二) spec阅读

整个验证流程的架构框图如下,后面的验证环境将基于此图进行搭建:

 对于验证一个IP,首先要指定验证策略并提取验证点,做出相应的test plan,故为其指定如下文中介绍:UART项目验证(二) 验证策略和验证点提取

2.整体环境搭建

整个验证环境由三部分构成,我们使用了两个集成好的uvc,分别为apb_uvc与·uart_uvc,这两个部分都是已经集成好的,直接将其集成到我们的验证环境中去就可以。另外一部分主体验证环境uart_ctrl为我们需要配置的环境。

apb_uvc部分其中包括(代码就不一一贴出): 

uart_uvc部分其中包括(代码就不一一贴出):

uart_ctrl部分将整个验证架构最基本的部分搭建起来,其中包括apb发送数据到dut接收数据与dut发送数据,uart_uvc接收数据两条通路;搭建环境我们按照apb发送数据到dut接收数据这条通路先行搭建验证环境,该部分的正确搭建是后续添加uart_uvc的基础。

1.1 sequence_lib

整个验证环境包含apb_uvc以及uart_uvc,其中基础组件均已集成,可直接使用其中两个uvc的sequence,以及编写新的sequence

1.1.1 uart_ctrl_sequence_lib

 其中例化了apb_uvc以及uart_uvc的sequence;

1.1.2 virtual_uart_ctrl_sequence_lib

1.2 virtual_sequencer

virtual_sequencer中例化了 apb_uvc以及uart_uvc的两个sequencer

1.3 uart_ctrl_env

uart_ctrl_env中例化并声明了 apb_uvc以及uart_uvc的env实例

1.4 top顶层搭建

1.4.1 top

经提醒这里中断的连接可能是有问题的,但不知道怎么更正== top中例化了两个interface以及dut,利用config_db将virtual interface传递给两个uvc对应的env中,然后运行case,产生了简单的复位以及时钟激励。

1.4.2 pkg

top中包含的pkg内部有各种公共文件。

 1.5 base_test

base_test中将uart_ctrl 中的env,virtual_sequencer,config进行创建连接以及声明,将uart_ctrl 中的virtual_sequencer连接到两个uvc分别的virtual_sequencer中,同时把两个uvc对应的config配置文件传递给对应的uvc。

1.6 冒烟测试

 至此整个验证环境的大框架就搭建好了,剩下的就是将剩余的每个组件写好,然后在environment中连接起来,并在top中调用即可。

进行冒烟测试,检查环境是否能正常运行

整个uvm验证环境树状结构打印成功,基本环境运行成功 

 2 其他组件以及细节填充

2.1 配置文件config

通过设置config中的参数来配置两个uvc的工作方式以及参数 

2.2 增加sequence进行简单验证

 编写了一个apb向dut写5笔数据的sequence进行环境验证

2.3 更新virtual_uart_ctrl_sequence_lib

将上面的sequence在virtual_uart_ctrl_sequence_lib中声明

2.4 编写对应case

 3 仿真波形

编写的apb2dut写入五笔数据的case成功写入 

4 结语 

至此这个验证环境搭建就结束了,通过本项目实战操练了uvm方法学的具体运用,同时自己搭建了简单的验证环境;但也存在一些问题,如对DUT理解不是很到位,导致验出来的波形不知道是DUT的bug还是本该如此,后续会对uart模块加强理解。

自己目前也只是初入茅庐,所以文章中不对的地方还敬请批评指正!需要学习的东西还是太多,但只要坚持学习,勤学多练,相信自己一定能够成功!

有关uart项目验证(三)-验证环境搭建(总)的更多相关文章

  1. ruby-on-rails - 如何验证 update_all 是否实际在 Rails 中更新 - 2

    给定这段代码defcreate@upgrades=User.update_all(["role=?","upgraded"],:id=>params[:upgrade])redirect_toadmin_upgrades_path,:notice=>"Successfullyupgradeduser."end我如何在该操作中实际验证它们是否已保存或未重定向到适当的页面和消息? 最佳答案 在Rails3中,update_all不返回任何有意义的信息,除了已更新的记录数(这可能取决于您的DBMS是否返回该信息)。http://ar.ru

  2. ruby - 具有身份验证的私有(private) Ruby Gem 服务器 - 2

    我想安装一个带有一些身份验证的私有(private)Rubygem服务器。我希望能够使用公共(public)Ubuntu服务器托管内部gem。我读到了http://docs.rubygems.org/read/chapter/18.但是那个没有身份验证-如我所见。然后我读到了https://github.com/cwninja/geminabox.但是当我使用基本身份验证(他们在他们的Wiki中有)时,它会提示从我的服务器获取源。所以。如何制作带有身份验证的私有(private)Rubygem服务器?这是不可能的吗?谢谢。编辑:Geminabox问题。我尝试“捆绑”以安装新的gem..

  3. ruby - 如何在 buildr 项目中使用 Ruby 代码? - 2

    如何在buildr项目中使用Ruby?我在很多不同的项目中使用过Ruby、JRuby、Java和Clojure。我目前正在使用我的标准Ruby开发一个模拟应用程序,我想尝试使用Clojure后端(我确实喜欢功能代码)以及JRubygui和测试套件。我还可以看到在未来的不同项目中使用Scala作为后端。我想我要为我的项目尝试一下buildr(http://buildr.apache.org/),但我注意到buildr似乎没有设置为在项目中使用JRuby代码本身!这看起来有点傻,因为该工具旨在统一通用的JVM语言并且是在ruby中构建的。除了将输出的jar包含在一个独特的、仅限ruby​​

  4. ruby-on-rails - 如果为空或不验证数值,则使属性默认为 0 - 2

    我希望我的UserPrice模型的属性在它们为空或不验证数值时默认为0。这些属性是tax_rate、shipping_cost和price。classCreateUserPrices8,:scale=>2t.decimal:tax_rate,:precision=>8,:scale=>2t.decimal:shipping_cost,:precision=>8,:scale=>2endendend起初,我将所有3列的:default=>0放在表格中,但我不想要这样,因为它已经填充了字段,我想使用占位符。这是我的UserPrice模型:classUserPrice回答before_val

  5. ruby-on-rails - 如何验证非模型(甚至非对象)字段 - 2

    我有一个表单,其中有很多字段取自数组(而不是模型或对象)。我如何验证这些字段的存在?solve_problem_pathdo|f|%>... 最佳答案 创建一个简单的类来包装请求参数并使用ActiveModel::Validations。#definedsomewhere,atthesimplest:require'ostruct'classSolvetrue#youcouldevencheckthesolutionwithavalidatorvalidatedoerrors.add(:base,"WRONG!!!")unlesss

  6. ruby-on-rails - 项目升级后 Pow 不会更改 ruby​​ 版本 - 2

    我在我的Rails项目中使用Pow和powifygem。现在我尝试升级我的ruby​​版本(从1.9.3到2.0.0,我使用RVM)当我切换ruby​​版本、安装所有gem依赖项时,我通过运行railss并访问localhost:3000确保该应用程序正常运行以前,我通过使用pow访问http://my_app.dev来浏览我的应用程序。升级后,由于错误Bundler::RubyVersionMismatch:YourRubyversionis1.9.3,butyourGemfilespecified2.0.0,此url不起作用我尝试过的:重新创建pow应用程序重启pow服务器更新战俘

  7. ruby-on-rails - 新 Rails 项目 : 'bundle install' can't install rails in gemfile - 2

    我已经像这样安装了一个新的Rails项目:$railsnewsite它执行并到达:bundleinstall但是当它似乎尝试安装依赖项时我得到了这个错误Gem::Ext::BuildError:ERROR:Failedtobuildgemnativeextension./System/Library/Frameworks/Ruby.framework/Versions/2.0/usr/bin/rubyextconf.rbcheckingforlibkern/OSAtomic.h...yescreatingMakefilemake"DESTDIR="cleanmake"DESTDIR="

  8. ruby-on-rails - 如何将验证与模型分开 - 2

    我有一些非常大的模型,我必须将它们迁移到最新版本的Rails。这些模型有相当多的验证(User有大约50个验证)。是否可以将所有这些验证移动到另一个文件中?说app/models/validations/user_validations.rb。如果可以,有人可以提供示例吗? 最佳答案 您可以为此使用关注点:#app/models/validations/user_validations.rbrequire'active_support/concern'moduleUserValidationsextendActiveSupport:

  9. ruby-on-rails - 跳过状态机方法的所有验证 - 2

    当我的预订模型通过rake任务在状态机上转换时,我试图找出如何跳过对ActiveRecord对象的特定实例的验证。我想在reservation.close时跳过所有验证!叫做。希望调用reservation.close!(:validate=>false)之类的东西。仅供引用,我们正在使用https://github.com/pluginaweek/state_machine用于状态机。这是我的预订模型的示例。classReservation["requested","negotiating","approved"])}state_machine:initial=>'requested

  10. ruby - 如何在 Rails 4 中使用表单对象之前的验证回调? - 2

    我有一个服务模型/表及其注册表。在表单中,我几乎拥有服务的所有字段,但我想在验证服务对象之前自动设置其中一些值。示例:--服务Controller#创建Action:defcreate@service=Service.new@service_form=ServiceFormObject.new(@service)@service_form.validate(params[:service_form_object])and@service_form.saverespond_with(@service_form,location:admin_services_path)end在验证@ser

随机推荐