jjzjj

EDA开源仿真工具verilator入门7：使用verilator仿真玄铁

I_belong_to_jesus 2024-02-05 原文

之前的相关章节对verilator的相关功能和基本数据结构进行了介绍，本节将介绍如何使用verilator编译和仿真一个大一点的工程，将以阿里的玄铁为例来介绍，如何使用verilator对玄铁进行仿真。这里使用ubuntu20系统，且默认已经安装了verilator，如果还没有成功安装，可以参考安装与测试。

首先，我们从git上拷贝玄铁代码到本地：

git clone https://github.com/kknet/openc910.git

玄铁已经提供了verilator配置相关的基本文件，我们只需要在此基础上搭建好配置文件，就可以完成编译和仿真，进入文件夹./openc90/smart_run文件夹，创建文件夹work并进入：

cd ./openc90/smart_run/
mkdir work
cd work

在使用verilator编译之前，需要配置需要编译的所有相关verilog文件以及仿真.cpp文件，对于verilog文件其对应的.fl文件为/openc910/smart_run/logical/filelists/sim_verilator.fl，其主要内容为：

-f ../logical/filelists/ip.fl
-f ../logical/filelists/smart.fl
-f ../logical/filelists/tb_verilator.fl

这里为了避免找不到，建议改为全路径，例如：

-f /home/s/shenzhou/xuantie_test/openc910/smart_run/logical/filelists/ip.fl
-f /home/s/shenzhou/xuantie_test/openc910/smart_run/logical/filelists/smart.fl
-f /home/s/shenzhou/xuantie_test/openc910/smart_run/logical/filelists/tb_verilator.fl

可以看到涉及3个相关的文件列表，ip.fl是玄铁设计中使用的ip核相关文件，smart.fl是主框架相关的代码，tb_verilator.fl为测试代码。注意这3个文件里面也可能涉及路径配置找不到的问题，这里建议全部改为全路径。

仿真的.cpp文件为/openc910/smart_run/logical/filelists/tb/sim_main1.cpp。

注意，默认仿真的主代码sim_main1.cpp是没有什么打印信息的，这里添加打印信息来观察仿真的cycle数：

top->eval();
if ( (i % 1000) == 0) {
    std::cout << i << " cycles have run" << std::endl;
}
i++;

好了到这里我们已经配置了所有的相关文件，现在可以使用verilator进行编译了。

输入编译指令，对玄铁进行编译：

verilator --timescale 1ns/100fs -Os -x-assign 0 --threads 4 -Wno-fatal  --cc --exe --top-module top -f ../logical/filelists/sim_verilator.fl ../logical/tb/sim_main1.cpp

这里开了4个线程进行仿真，如果编译成功，当前目录会生成对应的obj_dir文件夹，里面会有完整的仿真相关的C++工程文件。将对应的Makefile文件(这里是仿真工程编译的Makefile)拷贝到当前work目录：

cp ../logical/tb/Makefile_obj .

执行编译指令：

make -C obj_dir -f ../Makefile_obj -j8

这里会根据Makefile编译刚才生成的C++文件，生成最终的可执行仿真程序，如果成功，obj_dir/ 文件夹下会生成Vtop，可执行仿真程序，运行该仿真程序：

./obj_dir/Vtop

打印效果如下：

-Info: /home/s/shenzhou/xuantie_test/openc910/smart_run/logical/tb/tb_verilator.v:371: $dumpvar ignored, as Verilated without --trace
	********* Init Program *********
	********* Wipe memory to 0 *********
	********* Read program *********
%Warning: inst.pat:0: $readmem file not found
%Warning: data.pat:0: $readmem file not found
	********* Load program to memory *********
0 cycles have run
1000 cycles have run
2000 cycles have run
3000 cycles have run
4000 cycles have run
5000 cycles have run
6000 cycles have run
7000 cycles have run
8000 cycles have run

先讲到这里，小伙伴们可以试一试，可以明显感受到verilator的仿真速度是明显要快很多的，基于verilator工具可以明显加快RISC相关设计开发的迭代速度。

verilator入门xff0cxffxff0git

有关EDA开源仿真工具verilator入门7：使用verilator仿真玄铁的更多相关文章

  1. ruby - 如何使用 Nokogiri 的 xpath 和 at_xpath 方法 - 2

    我正在学习如何使用Nokogiri，根据这段代码我遇到了一些问题:require'rubygems'require'mechanize'post_agent=WWW::Mechanize.newpost_page=post_agent.get('http://www.vbulletin.org/forum/showthread.php?t=230708')puts"\nabsolutepathwithtbodygivesnil"putspost_page.parser.xpath('/html/body/div/div/div/div/div/table/tbody/tr/td/div

  2. ruby - 使用 RubyZip 生成 ZIP 文件时设置压缩级别 - 2

    我有一个Ruby程序，它使用rubyzip压缩XML文件的目录树。gem。我的问题是文件开始变得很重，我想提高压缩级别，因为压缩时间不是问题。我在rubyzipdocumentation中找不到一种为创建的ZIP文件指定压缩级别的方法。有人知道如何更改此设置吗？是否有另一个允许指定压缩级别的Ruby库？ 最佳答案 这是我通过查看ruby​​zip内部创建的代码。level=Zlib::BEST_COMPRESSIONZip::ZipOutputStream.open(zip_file)do|zip|Dir.glob("**/*")d

  3. ruby - 为什么我可以在 Ruby 中使用 Object#send 访问私有(private)/ protected 方法？ - 2

    类classAprivatedeffooputs:fooendpublicdefbarputs:barendprivatedefzimputs:zimendprotecteddefdibputs:dibendendA的实例a=A.new测试a.foorescueputs:faila.barrescueputs:faila.zimrescueputs:faila.dibrescueputs:faila.gazrescueputs:fail测试输出failbarfailfailfail.发送测试[:foo,:bar,:zim,:dib,:gaz].each{|m|a.send(m)resc

  4. ruby-on-rails - 使用 Ruby on Rails 进行自动化测试 - 最佳实践 - 2

    很好奇，就使用ruby​​onrails自动化单元测试而言，你们正在做什么？您是否创建了一个脚本来在cron中运行rake作业并将结果邮寄给您？git中的预提交Hook？只是手动调用？我完全理解测试，但想知道在错误发生之前捕获错误的最佳实践是什么。让我们理所当然地认为测试本身是完美无缺的，并且可以正常工作。下一步是什么以确保他们在正确的时间将可能有害的结果传达给您？ 最佳答案 不确定您到底想听什么，但是有几个级别的自动代码库控制:在处理某项功能时，您可以使用类似autotest的内容获得关于哪些有效，哪些无效的即时反馈。要确保您的提

  5. ruby - 在 Ruby 中使用匿名模块 - 2

    假设我做了一个模块如下:m=Module.newdoclassCendend三个问题:除了对m的引用之外，还有什么方法可以访问C和m中的其他内容？我可以在创建匿名模块后为其命名吗(就像我输入“module...”一样)？如何在使用完匿名模块后将其删除，使其定义的常量不再存在？ 最佳答案 三个答案:是的，使用ObjectSpace.此代码使c引用你的类(class)C不引用m:c=nilObjectSpace.each_object{|obj|c=objif(Class===objandobj.name=~/::C$/)}当然这取决于

  6. ruby - 使用 ruby​​ 和 savon 的 SOAP 服务 - 2

    我正在尝试使用ruby​​和Savon来使用网络服务。测试服务为http://www.webservicex.net/WS/WSDetails.aspx?WSID=9&CATID=2require'rubygems'require'savon'client=Savon::Client.new"http://www.webservicex.net/stockquote.asmx?WSDL"client.get_quotedo|soap|soap.body={:symbol=>"AAPL"}end返回SOAP异常。检查soap信封，在我看来soap请求没有正确的命名空间。任何人都可以建议我

  7. python - 如何使用 Ruby 或 Python 创建一系列高音调和低音调的蜂鸣声？ - 2

    关闭。这个问题是opinion-based.它目前不接受答案。想要改进这个问题？更新问题，以便editingthispost可以用事实和引用来回答它.关闭4年前。Improvethisquestion我想在固定时间创建一系列低音和高音调的哔哔声。例如:在150毫秒时发出高音调的蜂鸣声在151毫秒时发出低音调的蜂鸣声200毫秒时发出低音调的蜂鸣声250毫秒的高音调蜂鸣声有没有办法在Ruby或Python中做到这一点？我真的不在乎输出编码是什么(.wav、.mp3、.ogg等等)，但我确实想创建一个输出文件。

  8. ruby-on-rails - 'compass watch' 是如何工作的/它是如何与 rails 一起使用的 - 2

    我在我的项目目录中完成了compasscreate.和compassinitrails。几个问题:我已将我的.sass文件放在public/stylesheets中。这是放置它们的正确位置吗？当我运行compasswatch时，它不会自动编译这些.sass文件。我必须手动指定文件:compasswatchpublic/stylesheets/myfile.sass等。如何让它自动运行？文件ie.css、print.css和screen.css已放在stylesheets/compiled。如何在编译后不让它们重新出现的情况下删除它们？我自己编译的.sass文件编译成compiled/t

  9. ruby - 使用 ruby​​ 将 HTML 转换为纯文本并维护结构/格式 - 2

    我想将html转换为纯文本。不过，我不想只删除标签，我想智能地保留尽可能多的格式。为插入换行符标签，检测段落并格式化它们等。输入非常简单，通常是格式良好的html(不是整个文档，只是一堆内容，通常没有anchor或图像)。我可以将几个正则表达式放在一起，让我达到80%，但我认为可能有一些现有的解决方案更智能。 最佳答案 首先，不要尝试为此使用正则表达式。很有可能你会想出一个脆弱/脆弱的解决方案，它会随着HTML的变化而崩溃，或者很难管理和维护。您可以使用Nokogiri快速解析HTML并提取文本:require'nokogiri'h

  10. ruby - 在 64 位 Snow Leopard 上使用 rvm、postgres 9.0、ruby 1.9.2-p136 安装 pg gem 时出现问题 - 2

    我想为Heroku构建一个Rails3应用程序。他们使用Postgres作为他们的数据库，所以我通过MacPorts安装了postgres9.0。现在我需要一个postgresgem并且共识是出于性能原因你想要pggem。但是我对我得到的错误感到非常困惑当我尝试在rvm下通过geminstall安装pg时。我已经非常明确地指定了所有postgres目录的位置可以找到但仍然无法完成安装:$envARCHFLAGS='-archx86_64'geminstallpg--\--with-pg-config=/opt/local/var/db/postgresql90/defaultdb/po

随机推荐