中国自主可控的全数字实时仿真软件SkyEye支持龙芯CPU指令级仿真

传统的系统开发过程,都是由工程师根据项目需求书来编写代码完成系统的开发,但随着功能的完善和版本迭代,系统中庞大的代码量很难确保正确无误,给后期测试和仿真带来了很大的压力和成本,在航空航天、卫星系统、核电等安全关键领域影响更为明显。现在,代码自动生成技术的发展给行业发展带来新的可能性,在需求设计阶段,就由模型来完成,借助形式化验证技术和代码自动生成技术来完成项目开发,在保证安全性的同时,也能极大降低开发成本。由迪捷软件自主设计开发的代码自动生成工具SkyEye已经在众多安全关键领域中应用,SkyEye可替代国外Matlab/Sumlink等同类软件,并支持龙芯多种型号CPU的指令级仿真。

近年来,随着国产芯片和国产基础软件替代的形式越来越紧迫,越来越多行业和相关领域都将关注点放到了国产自主可控的方向。除了硬件的芯片外,软件的国产化支持和支撑也更为重要,龙芯从2001年至今共开发了1号、2号、3号三个系列处理器和龙芯桥片系列,在政企、安全、金融、能源等应用场景得到了广泛的应用。作为国产自主可控的全数字实时仿真软件SkyEye可以支持龙芯多种型号的CPU搭建数字化目标系统,并进行指令级仿真。

SkyEye 运行龙芯处理器

在这里插入图片描述

SkyEye 介绍

SkyEye,中文全称天目全数字实时仿真软件,应用软件仿真技术,逼真地模拟出被测软件的物理环境。用图形化方式构建虚拟目标系统,有效降低了硬件工程师和软件工程师之间的沟通成本,软件工程师可以不依赖硬件工程师,根据需求对虚拟硬件的配置进行改动,并可以在虚拟硬件模型上运行与真实硬件相同的二进制文件,可以大大缩短产品研发周期,提高软件测试效率。完全自主可控的支持数十种国产芯片仿真的全数字实时仿真平台SkyEye

SkyEye功能

  1. 更灵活快速的虚拟目标系统搭建–通过可视化图形界面拖拽虚拟硬件组件快速搭建
  2. 仿真状态可控性、确定性和重复性–在虚拟系统上运行的二进制文件与实际目标上运行的二进制文件相同,仿真过程可以通过运行、暂停控制、可以随时重复执行,每次运行结果是确定的,可以使用软件复现问题
  3. 提供GDB源码调试和汇编级调试工具,使开发者更高效的分析和定位问题
  4. 提供代码覆盖率和生成报告功能,进行源码和目标码的覆盖率分析
  5. 提供故障注入功能,可以进行内存和IO的故障注入进行测试
  6. 提供协同仿真工具,支持与其他异构模型协同仿真
  7. 提供外设建模工具和二次开发API接口,方便用户进行二次开发
  8. 提供Python API接口,可以进行自动化测试脚本构建所需测试环境
  9. 界面提供自动化测试功能,可以选择所需测试用例自动运行并给出测试结果

本文标题:中国自主可控的全数字实时仿真软件SkyEye支持龙芯CPU指令级仿真
本文链接:http://www.digiproto.com/archives/3062

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

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

相关文章

进入实现类快捷键_实测30个自带快捷键,原来键盘也这么好用!

文 / 一周进步 水韬推荐过很多软件快捷键的文章,每次推荐大家都会惊叹,原来自以为熟练掌握的软件,还可以有这么多便捷的操作。活到老,学到老。软件操作是如此,其实在我们使用最多的Windows系统里,在键盘里…

SkyEye——汽车电子系统仿真测试工具

随着汽车电子的发展,电子控制单元(ECU)大量应用到现代汽车上,车内网络变的越来越复杂。 在新车型的研发阶段使用专业的仿真工具SkyEye及其配套产品进行车内芯片实时仿真测试,验证车内电子系统的可靠行和安全性成为必要…

怎么做笔记标签贴_小红书笔记互动到底该怎么做?

小红书很多博主再发完笔记后,喜欢到一些互赞群里去跟别人相互关注点赞收藏评论。这个就是我今天要和大家说的。小红书笔记在一些互赞藏群里自己上关键词车,这样是会被判违规的,什么违规呢?那就是人工干预后台数据。小红书有这样一…

全数字实时仿真平台SkyEye与SystemC集成进行时序仿真

SkyEye与SystemC集成进行时序仿真 仿真过程是正确实现设计的关键环节,用来验证设计者的设计思想是否正确,及在设计实现过程中各种分布参数引入后,其设计的功能是否依然正确无误。时序仿真使用布局布线后器件给出的模块和连线的延时信息&…

双目立体视觉建立深度图_双目立体视觉系统(答辩).ppt

双目立体视觉系统(答辩)双目立体视觉系统 项目组成员:何健、晏尧、艾晨 指导老师:蒲秀娟 2011年9月21日 项目答辩 重庆大学第二届科研训练项目 汇报提纲 研究目的和意义 1 系统总体设计硬件选择 2 图像算法和显示流程 3 验证 4 心得 5 1 研究目的和意义 …

全数字实时仿真平台SkyEye和同步数据流语义与翻译正确性验证

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

访问不了_同事的电脑无法访问,共享打印机连接不上,问题都在这

作为一个it服务工作者,发现大家平时遇到最多的问题就是公司内部同事的电脑访问不了或者共享打印机打印不了等等。所以今天给大家分享一下引起这些问题的原因所在和解决办法。其实我们只要掌握了核心的几个关键点,对症下药都是比较容易解决的。常见的一些…

全数字实时仿真平台SkyEye实现了与虚拟FPGA协同仿真

1. 可与虚拟FPGA的协同仿真 全数字实时仿真平台SkyEye实现了与虚拟FPGA的协同仿真,可以支持UVM的验证方法。虚拟的FPGA通过协同仿真总线与SkyEye相连,用户可以自主的控制仿真运行速度,提高较大规模嵌入式系统的测试效率。SkyEye本身是多架构…

python读取两个csv文件后比较_python – 读取两个csv文件并比较每一行.如果行匹配打印两行,如果不相似则打印无效...

import csvf1 open("file1.csv")f2 open("file2.csv")csv_f1 csv.reader(f1)csv_f2 csv.reader(f2)for row1 in csv_f1:for row2 in csv_f2:if row1 row2:print row1[0], row2[0]else:print row1[0], "Invalid"这个程序没有打印出row1,row2…

SkyEye建模之方法介绍篇

SkyEye建模框架介绍 SkyEye模型与硬件开发板,图1-1-1是一块普通的硬件开发板,上面有一些比较常见的设备,包括复杂的CPU、USB口、网口、SD卡控制器等,以及简单的蜂鸣器,键盘等设备。我们试想这样一个问题,真…

加密 lua_三、Lua相关知识

一、lua语言基础1、metatable2、pairs、ipairs、table.sort3、table的内存(数组结构和哈希结构)4、字符串缓存(字符串常量是共享的。这个5.3版本有调整,40字节一下的短字符串才是共享的,长字符串还是保持独立内存&…

全数字实时仿真平台SkyEye目标码覆盖率关键技术

1. 研究背景 1.1零插桩目标码覆盖率统计技术 随着武器装备的复杂度的大幅度增加,运行在装备上的嵌入式系统也越来越复杂,功能迭代越来越多,代码中就可能就会存在部分无用代码,或者在执行过程中无法测试覆盖的分支,这…

MCDC — 修正判定条件覆盖

什么是MCDC? 答:修正判定条件覆盖-----程序中的每个输入和输出都至少被调用一次,在程序中的每一个条件必须产生所有可能的输出结果至少一次,并且每一个判定中的每一个条件必须能够独立影响一个判定的输出,即在其他条件…

python terminal调试_python执行命令行调试工具pdb

调试pdbpdb是基于命令行的调试工具,非常类似gnu的gdb(调试c/c)。命令简写命令作用breakb设置断点(用法,b :在第数字行设置断点。.........................................................)b 直接回车,查看所有断点continuec直接…

20以内分数化小数表_如何使用标准正态分布表?

正态分布这个概念在统计学中很常见,在做与正态分布有关计算的时候经常会用到标准正态分布表。如果知道一个数值的标准分数即z-score,就可以非常便捷地在标准正态分布表中查到该标准分数对应的概率值。任何数值,只要符合正态分布的规律&#x…

迪捷软件团队研发的国产替代MBSE系统建模仿真软件

近年来,系统工程的概念越来越火热。其中MBSE(基于模型的系统工程)是最受大家推崇的。在复杂系统和安全关键的开发领域,如果你不能说出一些跟MBSE有关的一些词儿,那么你是无法号称自己站在时代前沿的。 与传统的系统工程…

greendao删除其中一条_广东东莞将迎来一条新地铁,全长58公里,设24站,沿途市民有福了...

感谢大家阅读,在阅读之前,麻烦您先点击上面的“蓝色字体”,再点击“关注”,这样您就可以继续“免费”收到文章阅读了,每天都会有新鲜热门话题推送,完全是“免费订阅”哦,敬请放心关注阅读~ (内…

系统仿真平台SkyEye可替代国外Matlab/Sumlink等同类软件

传统的系统开发过程,都是由工程师根据项目需求书来编写代码完成系统的开发,但随着功能的扩充和版本的迭代,系统中庞大的代码量很难确保正确无误,给后期测试和仿真带来了很大的压力和成本,在航空航天、卫星系统、核电等…

不满6位补零 字符串_vb6.0中字符串中不足位数前面补0的方法

通过data获取图片拓展名//通过图片Data数据第一个字节 来获取图片扩展名- (NSString *)contentTypeForImageData:(NSData *)data {uint8_t c;[data getBytes:&c length:1];switch (c) {case 0xFF:return "jpeg";case 0x89:return "png";case 0x47:retu…

全数字实时仿真平台SkyEye故障注入测试

故障注入测试(Fault Injection Test),简称FIT,是一种可靠性验证技术,在安全关键领域,设备的可靠性与安全性是检验装备制造生产的重要指标之一,针对现有的安全关键领域工程可靠性验证方案中就包括…