SystemC 代码添加和测试方法

1.启动流程

在 code/utils/ 下添加 new_systemc 相关代码,启动流程如下:

image

2.调用关系

image

3.地址映射

假设有两个 systemc 设备:device1 和 device2,device1 的内存地址映射区域为 0x2000
0x2fff,device2 的内存映射区域为 0x3000 ~ 0x3ffff。

首先将 json 文件中的 skyeye_device(sc_dev_0) 设备映射地址改为 如下图中的 json

文件所示。

如果 cpu 有个一个对 0x20010 地址的访问。 调用到 m_initlator_1 中的 offset 为 0x10,

通过 tlm 将请求发送到 m_at_target_1_phase_1, m_at_target_1_phase_1 根据 0x10 将请求

分发到 device1 设备。

image

4.如何添加文件

添加文件,需修改顶层目录 http://Makefile.am 文件。

假设添加一个文件, 文件路径为:utils/new_systemc/common/src/add_device.cpp

修改方式如下:

skyeye_new_systemc_SOURCES = utils/new_systemc/common/src/apb_cpu_bridge.cpp \ 
utils/new_systemc/common/src/sc_cpu.cpp \ 
utils/new_systemc/common/src/memory.cpp \ 
utils/new_systemc/common/src/traffic_generator.cpp \ 
utils/new_systemc/common/src/report.cpp \ 
utils/new_systemc/common/src/select_initiator.cpp \ 
utils/new_systemc/common/src/at_target_1_phase.cpp \ 
utils/new_systemc/at_1_phase/src/apb_cpu_bridge_test_device.cpp \ 
utils/new_systemc/at_1_phase/src/at_1_phase_top.cpp \ 
utils/new_systemc/at_1_phase/src/initiator_top.cpp \ 
utils/new_systemc/at_1_phase/src/device.cpp \ 
utils/new_systemc/init.cpp \ 
utils/new_systemc/skyeye_new_systemc.cpp \ 
utils/new_systemc/common/src/add_device.cpp

5.编译 systemc

下载 systemc-2.3.1 的软件包(附件中包含)。参考 systemc-2.3.1 的 INSTALL 文件,运行如下

命令编译 systemc-2.3.1:

./configure –prefix=SYSTEMC_INSTALL_DIR; make ;make install ;

SYSTEMC_INSTALL_DIR 是 systemc 安装目录, 可以自定义

./autogen.sh; 
./configure --with-systemc=SYSTEMC_INSTALL_DIR; 
./make lib 
./make 
./sudo make install

6. 编译 SkyEye

首次编译需要使用 make lib 命令,之后修改代码后,直接运行 make;sudo make install

7.运行测试用例

cd systemc_test/ /opt/skyeye/bin/skyeye_new_systemc

输出:

$ /opt/skyeye/bin/skyeye_new_systemc SystemC 2.3.1-Accellera --- Nov 5 2015 17:29:57 Copyright (c) 1996-2014 by all Contributors, ALL RIGHTS RESERVED 
skyeye_device_read Call, offset 0 
apb_cpu_bridge_test_device_signal:17, 0 
apb_cpu_bridge_test_device_signal:17, 0 
skyeye_device_read Call, offset 4 
apb_cpu_bridge_test_device_signal:17, 4 
apb_cpu_bridge_test_device_signal:17, 4 
skyeye_device_read Call, offset 8 
apb_cpu_bridge_test_device_signal:17, 8 
apb_cpu_bridge_test_device_signal:17, 8 
skyeye_device_read Call, offset 10 
apb_cpu_bridge_test_device_signal:17, a 
apb_cpu_bridge_test_device_signal:17, a 
skyeye_device_write Call, offset 12 
apb_cpu_bridge_test_device_signal:17, c 
apb_cpu_bridge_test_device_signal:17, c

8.源码信息

systemc 相关代码位置: code/utils/new_systemc/

目录结构与 systemc 源码的 example 类似。

程序启动入口文件: code/utils/new_systemc/skyeye_new_systemc.c

int sc_main (int argc, char **argv) 
{ /* initialization of options from command line */ sky_pref_t* pref = get_skyeye_pref(); init_option(argc, argv, pref); pref->systemc_enable = True; pref->interactive_mode = False; pref->autoboot = False; SIM_init(); init_skyeye_class(); RunCommand("run-script setup.skyeye"); SIM_run(); setup_systemc(); while(1) sleep(1); return 0; 
}

本文标题:SystemC 代码添加和测试方法

本文链接:http://www.digiproto.com/

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/566721.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

支持多达70余种嵌入式核心的嵌入式仿真软件SkyEye

SkyEye 介绍 SkyEye,中文全称天目全数字实时仿真软件,应用软件仿真技术,逼真地模拟出被测软件的物理环境。用图形化方式构建虚拟目标系统,有效降低了硬件工程师和软件工程师之间的沟通成本,软件工程师可以不依赖硬件工…

嵌入式仿真平台SkyEye的覆盖率分析

随着嵌入式系统也越来越复杂,功能迭代越来越多,代码中就可能就会存在部分无用代码,或者在执行过程中无法测试覆盖的分支,这可能就会给软件带来很大的漏洞,严重降低软件的可靠性。因此,需要一个能够动态分析…

access重复数据累计_小程序·云开发之数据库自动备份丨云开发101

小程序云开发之数据库自动备份数据是无价的,我们通常会把重要的业务数据存放在数据库中,并需要对数据库做定时的自动备份工作,防止数据异常丢失,造成无法挽回的损失。小程序云开发提供了方便的云数据库供我们直接使用,…

嵌入式系统实时仿真解决方案SkyEye

SkyEye介绍 SkyEye,中文全称天目全数字实时仿真软件,应用软件仿真技术,逼真地模拟出被测软件的物理环境。用图形化方式构建虚拟目标系统,有效降低了硬件工程师和软件工程师之间的沟通成本,软件工程师可以不依赖硬件工…

read函数头文件 window_of_property_read_string 剖析

前言今天在一个群里面看到的一个朋友提交,说of_property_read_string 这个函数有两个定义,到底是用了哪个呢?所以这篇文章就说下这个函数。函数引用的头文件引用的头文件位置在kernel-4.4includelinuxof.h其中一个是extern int of_property_r…

全数字实时仿真平台SkyEye的同步数据流语言可信编译器的构造

随着计算机控制系统在人们生活中的普及,软件自身的可靠性也越来越受到重视.在航空、高铁、核电及军事等高安全要求领域的软件系统——安全关键系统(safety-critical system,简称SCS)更是受到高度的重视.而随着软件系统的复杂度越来越高,软件系统的安全性保证也变得越来越困难.这…

div html 下边加横线_HTML的组成部分、DIV+CSS布局

HTML的组成部分dtd部分:文档类型说明,声明版本、标准header部分:给机器看的body部分:给人看的CSS控制div显示是一个块级元素。这意味着它的内容自动地开始一个新行。实际上,换行是 固有的唯一格式表现。可以通过 的 cl…

国产主可控的嵌入式仿真测试软件SkyEye与可信编译器L2C的核心翻译介绍

为了满足国内某安全攸关领域的需求, L2C编译器的开发始于2010年9月, 其目标是设计实现一个经过形式化验证的可信编译器, 其源语言是面向领域的同步数据流语言Lustre*(Lustre语言的一个变种, 参考下一节), 目标语言是C, 最终可用作相关领域数字化仪控系统的安全级代码生成器.国产…

支持国产处理器仿真的全数字实时仿真平台SkyEye与可信编译器L2C的核心翻译步骤

1、核心翻译步骤示例 本节我们以第2节提到的Lustre语言的主要特性为线索来解释L2C在翻译过程中的关键节点是如何处理的, 并以图 1的实例来解释Lustre程序是如何被一步步地翻译到Clight语言的. 1.1 数据流并发性 Lustre程序具有数据流并发性, 而Clight程序却是串行执行的.因此…

python导入不在同一路径的函数_Python小课堂|模块

Python3 模块在前面的几个章节中我们脚本上是用 python 解释器来编程,如果你从 Python 解释器退出再进入,那么你定义的所有的方法和变量就都消失了。为此 Python 提供了一个办法,把这些定义存放在文件中,为一些脚本或者交互式的…

全数字实时仿真软件SkyEye与可信编译器L2C的核心翻译步骤的设计与实现

有关翻译正确性验证的重点疑难问题及其设计实现方案 在L2C可信编译器的设计与实现中, 对于实线所对应的翻译过程 (CompCert编译器除外) 均借助于Coq证明了正确性 (语义保持性), 然后得出LustreSGen所产生的LustreS代码到Clight代码整个翻译过程的正确性.从LustreS到Clight的任…

idea 分支管理插件_Git的分支管理常用命令

文章目录分支管理git stashgitmerge与git rebasegit merge --squashcherry-pick分支管理命令作用git branch查看当前分支git checkout/git switch 分支名称切换分支git merge 分支名称将指定分支合并到当前分支git branch -d 分支名称删除指定分支git diff 分支名称1 分支名称2…

安卓蓝牙键盘切换输入法_采用国产机械轴,三种连接模式轻松切换,TT G521上手体验...

之前我用过三模游戏鼠标,也用过三模薄膜键盘,但是三模机械键盘,还是第一次使用。机械键盘,相信大家都知道,现在已经很普及了,估计当时把机械键盘重新带回到玩家当中的大神,也没有想到它会这么火…

国产自主可控的嵌入式仿真软件SkyEye和同步数据流语言高阶运算消去的可信翻译

同步数据流语言高阶运算消去的可信翻译 同步数据流语言(例如Lustre,Signal等)广泛应用于工业界的核心安全级控制系统,如航空、核电等高安全等级的关键领域,与语言相关的软件的安全性也越来越受到人们的关注,特别是一些基础软件,如操作系统、编译器等.确认这些软件的安全可靠非…

pq 中m函数判断嵌套_压轴题的热点,二次函数与几何的结合,谁会谁吃香

对于整个中考数学来说,二次函数的重要性,我想不用老师多说,大家肯定心里有数。二次函数作为初中数学的重要内容,命题老师很喜欢把它与其他几何图形进行结合,形成综合性更强的试题。不可否认,二次函数与几何…

完全自主可控的安全关键领域仿真测试软件SkyEye可替代SCADE

基于全数字实时仿真平台 SkyEye 产品性质 :全数字实时仿真平台(软件测试和仿真工具) 对标产品 :美国风河公司的Simics,可替代SCADE SkyEye,中文全称天目全数字实时仿真软件,是基于可视化建模…

请求接受json tp5_关于jq jsonp跨域请求错误处理bug

前言:昨天,同事修改项目升级插件时遇到了一个ajax 报错,如下:$.ajax({type : "get",async:false,timeout:3000,url : "http://10.10.10.26:808/servlet/updateLog?line1",dataType : "jsonp",//数…

ModelCoder国产化解决方案已逐步代替国外软件Matlab/Simulink

ModelCoder介绍 在安全关键领域,基于模型的软件工程或者软件开发已逐渐进入了我国的装备研制过程中。使用Simulink或者SCADE等嵌入式软件建模工具对算法或者控制逻辑进行可视化建模,然后生成高可靠的二进制代码逐渐成为了安全关键领域的主流开发方式。 …

两用物项许可证办理流程_一指通 | 出口许可证办理流程

什么是出口许可证?出口许可证,是指商务部授权发证机关依法对实行数量限制出口货物签发的准予出口的许可证件。出口许可证监管证件代码为“4”。加工贸易出口“出口许可证”管理的货物,监管证件代码为“x”。边境小额贸易出口“出口许可证”管…

SkyEye实现工业安全关键领域基础软件国产替代

随着科技的发展,系统工程的设计体量逐渐庞大起来,尤其是对于轨道交通、航空航天、核电站等安全关键领域中,如何在复杂度逐年变大的同时保证其安全性和可靠性,是近年来各大公司需要研究的课题。最近比较火热的基于模型的系统工程&a…