-
![浅议嵌入式软件测试]()
-
![SkyEye助力火箭“一”飞冲天]()
-
![浅议嵌入式软件覆盖率测试]()
浅议嵌入式软件覆盖率测试
随着现代信息技术与软硬件技术的快速发展，嵌入式系统的功能日益强大，嵌入式设备和软件应用领域越来越宽泛。近年来，嵌入式软件代码量呈爆炸式增长，对测试的要求越来越高，尤其是涉及防务、航空、汽车等安全关键领域。
2023-05-15 digiproto
-
![SkyEye卫星篇：从无到有的国之“芯”]()
SkyEye卫星篇：从无到有的国之“芯”
SkyEye（中文全称天目全数字仿真软件）是迪捷软件核心产品之一，具备仿真硬件的功能和性能要求，目前已经能够仿真多款嵌入式架构芯片，其中包括卫星中常用到SPARC、POWERPC等架构芯片，也包括我国自主研发的芯片——龙芯。
2023-05-15 digiproto
-
![汽车安全困境：如何破局？]()
-
![浅谈CompCert：经过形式化验证的可信编译器]()
浅谈CompCert：经过形式化验证的可信编译器
对编译器的正确性进行验证的诸多手段中，最为严格的莫过于采用形式化方法。点开原文查看经过形式化验证的可信编译器CompCert。
2023-05-15 digiproto
-
![关于嵌入式可执行程序，你了解多少？]()
关于嵌入式可执行程序，你了解多少？
嵌入式系统由硬件系统和软件系统组成，因此为了使整个嵌入式系统运行起来，必须有相应的程序，我们一般所说的程序，实际上就是存储在硬件设备中的一些可执行代码。可执行代码包括嵌入式操作系统和应用软件。
2023-05-15 digiproto
-
![C语言函数在硬件中的执行原理]()
C语言函数在硬件中的执行原理
众所周知，C语言的应用程序总是以「main」函数作为程序入口地址，那到底什么是函数呢？ 程序的执行其实本质上是CPU对指令的处理，那么一个C函数的本质其实也相当于一组协同工作的指令，而这组指令能够通过相互之间的配合实现特定的功能（Function）。例如从SPI缓冲区中提取数据，配置定时器的延时时间，或者从内存读取数据并写入DAC的寄存器中。 一个函数能完成的功能往往不止一个，比如某个函数能够实现通过串口传输一个字节的数据，然后检查状态位直到接收到一个字节，最后把接收到的所有数据组合起来做实际的计算。
2023-05-15 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
