中国自主可控的全数字实时仿真软件SkyEye支持龙芯CPU指令级仿真
传统的系统开发过程,都是由工程师根据项目需求书来编写代码完成系统的开发,但随着功能的完善和版本迭代,系统中庞大的代码量很难确保正确无误,给后期测试和仿真带来了很大的压力和成本,在航空航天、卫星系统、核电等安全关键领域影响更为明显。现在,代码自动生成技术的发展给行业发展带来新的可能性,在需求设计阶段,就由模型来完成,借助形式化验证技术和代码自动生成技术来完成项目开发,在保证安全性的同时,也能极大降低开发成本。由迪捷软件自主设计开发的代码自动生成工具SkyEye已经在众多安全关键领域中应用,SkyEye可替代国外Matlab/Sumlink等同类软件,并支持龙芯多种型号CPU的指令级仿真。
近年来,随着国产芯片和国产基础软件替代的形式越来越紧迫,越来越多行业和相关领域都将关注点放到了国产自主可控的方向。除了硬件的芯片外,软件的国产化支持和支撑也更为重要,龙芯从2001年至今共开发了1号、2号、3号三个系列处理器和龙芯桥片系列,在政企、安全、金融、能源等应用场景得到了广泛的应用。作为国产自主可控的全数字实时仿真软件SkyEye可以支持龙芯多种型号的CPU搭建数字化目标系统,并进行指令级仿真。
SkyEye 运行龙芯处理器
SkyEye 介绍
SkyEye,中文全称天目全数字实时仿真软件,应用软件仿真技术,逼真地模拟出被测软件的物理环境。用图形化方式构建虚拟目标系统,有效降低了硬件工程师和软件工程师之间的沟通成本,软件工程师可以不依赖硬件工程师,根据需求对虚拟硬件的配置进行改动,并可以在虚拟硬件模型上运行与真实硬件相同的二进制文件,可以大大缩短产品研发周期,提高软件测试效率。完全自主可控的支持数十种国产芯片仿真的全数字实时仿真平台SkyEye
SkyEye功能
- 更灵活快速的虚拟目标系统搭建–通过可视化图形界面拖拽虚拟硬件组件快速搭建
- 仿真状态可控性、确定性和重复性–在虚拟系统上运行的二进制文件与实际目标上运行的二进制文件相同,仿真过程可以通过运行、暂停控制、可以随时重复执行,每次运行结果是确定的,可以使用软件复现问题
- 提供GDB源码调试和汇编级调试工具,使开发者更高效的分析和定位问题
- 提供代码覆盖率和生成报告功能,进行源码和目标码的覆盖率分析
- 提供故障注入功能,可以进行内存和IO的故障注入进行测试
- 提供协同仿真工具,支持与其他异构模型协同仿真
- 提供外设建模工具和二次开发API接口,方便用户进行二次开发
- 提供Python API接口,可以进行自动化测试脚本构建所需测试环境
- 界面提供自动化测试功能,可以选择所需测试用例自动运行并给出测试结果
本文标题:中国自主可控的全数字实时仿真软件SkyEye支持龙芯CPU指令级仿真
本文链接:http://www.digiproto.com/archives/3062
中国自主可控的全数字实时仿真软件SkyEye支持龙芯CPU指令级仿真相关推荐
- 自主可控的全数字实时仿真软件SkyEye支持PowerPC指令级仿真
随着科技的发展,系统工程的设计体量逐渐庞大起来,尤其是对于轨道交通.航空航天.核电站等安全关键领域中,如何在复杂度逐年变大的同时保证其安全性和可靠性,是近年来各大公司需要研究的课题.最近比较火热的基于 ...
- 全数字实时仿真软件SkyEye与可信编译器L2C的核心翻译步骤的设计与实现
有关翻译正确性验证的重点疑难问题及其设计实现方案 在L2C可信编译器的设计与实现中, 对于实线所对应的翻译过程 (CompCert编译器除外) 均借助于Coq证明了正确性 (语义保持性), 然后得出L ...
- PowerPC处理器数字仿真测试软件工具——天目全数字实时仿真软件SkyEye
1. 什么是软件仿真 在嵌入式系统的设计中,仿真应用的范围主要集中在对程序的仿真上.在ARM的开发过程中,一种最简单和原始的开发流程是:编写程序,然后烧写到芯片上验证功能,这种方法对于简单的小系统是可 ...
- SkyEye天目全数字实时仿真软件功能介绍
文章目录 **SkyEye的概念和应用** **SkyEye的优势** **SkyEye可与第三方语言或者模型集成** **基于可视化图形的硬件建模** **容器化的仿真平台** **FPGA协同仿真 ...
- 中兴、深度、中国电子打造 UOS 统一操作系统:开源、支持龙芯和海思等国产处理器
近期,国内UOS统一操作系统官网上线,并发布了UOS对外测试和开放计划. 根据介绍,UOS采用开源协作模式进行研发,并将支持龙芯.申威.飞腾.海思.兆芯和海光等国产处理器.我们也看到其官网提供了获取项 ...
- 汽车软件开发的8种颠覆性趋势及国产自主可控的多领域全数字实时仿真平台SkyEye
汽车工业中产生的断层正引起人们对创新的日益渴望,而创新又极大地增加了汽车中的软件功能.这种创新正在自动驾驶.高级驾驶员辅助系统 (ADAS).数字驾驶舱技术.车辆电气化等领域进行. 目前影响汽车电子产 ...
- 全数字实时仿真平台SkyEye和同步数据流语义与翻译正确性验证
全数字实时仿真平台 SkyEye,中文全称天目全数字实时仿真软件,应用软件仿真技术,逼真地模拟出被测软件的物理环境.用图形化方式构建虚拟目标系统,有效降低了硬件工程师和软件工程师之间的沟通成本,软件工 ...
- 全数字实时仿真平台SkyEye经典案例——空间站项目
1. SkyEye 简介 SkyEye,中文全称天目全数字实时仿真软件,是基于可视化建模的硬件行为级仿真平台,支持用户通过拖拽的方式对硬件进行行为级别的仿真和建模.采用基于LLVM的二进制加速技术,加 ...
- 全数字实时仿真平台SkyEye经典案例——卫星
1. SkyEye 简介 SkyEye,中文全称天目全数字实时仿真软件,是基于可视化建模的硬件行为级仿真平台,支持用户通过拖拽的方式对硬件进行行为级别的仿真和建模.采用基于LLVM的二进制加速技术,加 ...
最新文章
- 青岛市教师职称计算机考试成绩查询系统,吴春雷
- oracle 10046详解
- Linux学习之CentOS(二十九)--Linux网卡高级命令、IP别名及多网卡绑定
- 一、Java语言基础(4)_方法和数组——数组
- JQuery Ajax 使用FormData上传文件对象
- React开发(229):react删除的实现
- 明天 | 2021单细胞组学国际研讨会(线上)【附直播链接】
- python-发送短信验证码-功能的实现
- 10个Python面试常问的问题
- springbootSecurity的使用
- ac自动机 匹配最长前缀_傻傻分不清吗?——Trie Tree,字典树、前缀树概述
- Android CallStack
- 实验五:大数据可视化工具-NodeXL
- 织梦木马 data.php,DedeCMS后门木马专杀工具V2.0
- MySQL之desc查看表结构的详细信息
- Autojs 微信添加好友脚本
- Auto MDI/MDI-X 简要说明及网线头线序
- 攻防世界-web xff_Referer
- 交通·未来第3期:基于实时WiFi-蓝牙检测数据的交通目标定位及出行模式甄别技术...
- 谈谈mysql locate函数
热门文章
- c++ ea 代码 生成_EA公司教AI制作游戏角色,行动流畅自然,全程无需人类介入
- @Transactional 实现原理
- linux的shell命令 a,linux shell命令大全(都是随堂笔记)
- python语言程序设计难不难_零基础学Python编程开发难度大吗?从哪学起?
- hbase可视化工具_做数据可视化,三大热门BI工具试用总结
- Linux中的shell正则表达式详解
- jenkins使用哪个版本号_Linux下安装JDK及jenkins
- 两个摄像头合成一路_教你把一个摄像机添加到两台录像机
- 2021曲靖高考成绩查询时间,2021年曲靖高考成绩排名及成绩公布时间什么时候出来...
- (DAG+固定终点的最长路和最短路)硬币问题