传统的系统开发过程，都是由工程师根据项目需求书来编写代码完成系统的开发，但随着功能的完善和版本迭代，系统中庞大的代码量很难确保正确无误，给后期测试和仿真带来了很大的压力和成本，在航空航天、卫星系统、核电等安全关键领域影响更为明显。现在，代码自动生成技术的发展给行业发展带来新的可能性，在需求设计阶段，就由模型来完成，借助形式化验证技术和代码自动生成技术来完成项目开发，在保证安全性的同时，也能极大降低开发成本。由迪捷软件自主设计开发的代码自动生成工具SkyEye已经在众多安全关键领域中应用，SkyEye可替代国外Matlab/Sumlink等同类软件，并支持龙芯多种型号CPU的指令级仿真。
近年来，随着国产芯片和国产基础软件替代的形式越来越紧迫，越来越多行业和相关领域都将关注点放到了国产自主可控的方向。除了硬件的芯片外，软件的国产化支持和支撑也更为重要，龙芯从2001年至今共开发了1号、2号、3号三个系列处理器和龙芯桥片系列，在政企、安全、金融、能源等应用场景得到了广泛的应用。作为国产自主可控的全数字实时仿真软件SkyEye可以支持龙芯多种型号的CPU搭建数字化目标系统，并进行指令级仿真。
SkyEye 运行龙芯处理器
SkyEye 介绍
SkyEye，中文全称天目全数字实时仿真软件，应用软件仿真技术，逼真地模拟出被测软件的物理环境。用图形化方式构建虚拟目标系统，有效降低了硬件工程师和软件工程师之间的沟通成本，软件工程师可以不依赖硬件工程师，根据需求对虚拟硬件的配置进行改动，并可以在虚拟硬件模型上运行与真实硬件相同的二进制文件，可以大大缩短产品研发周期，提高软件测试效率。完全自主可控的支持数十种国产芯片仿真的全数字实时仿真平台SkyEye
SkyEye功能
更灵活快速的虚拟目标系统搭建–通过可视化图形界面拖拽虚拟硬件组件快速搭建仿真状态可控性、确定性和重复性–在虚拟系统上运行的二进制文件与实际目标上运行的二进制文件相同，仿真过程可以通过运行、暂停控制、可以随时重复执行，每次运行结果是确定的，可以使用软件复现问题提供GDB源码调试和汇编级调试工具，使开发者更高效的分析和定位问题提供代码覆盖率和生成报告功能，进行源码和目标码的覆盖率分析提供故障注入功能，可以进行内存和IO的故障注入进行测试提供协同仿真工具，支持与其他异构模型协同仿真提供外设建模工具和二次开发API接口，方便用户进行二次开发提供Python API接口，可以进行自动化测试脚本构建所需测试环境界面提供自动化测试功能，可以选择所需测试用例自动运行并给出测试结果本文标题：中国自主可控的全数字实时仿真软件SkyEye支持龙芯CPU指令级仿真
本文链接：/archives/3062
