-
![PowerPC E500 MMU详解]()
PowerPC E500 MMU详解
1. 什么是MMU？MMU是Memory Management Unit的缩写，中文名称为内存管理单元。MMU是负责处理器（CPU）的内存访问请求的计算机硬件，其功能包括虚拟地址到物理地址的转换（即虚拟内存管理）、内存保护、缓存cache的控制等。MMU是一个与软件密切相关的硬件部件，也是运行linux等依赖MMU内存管理单元操作系统内核机制的最大部件之一。如果处理器没有MMU，CPU内部执行单元
2023-05-15 digiproto
-
![走进C/C++函数的名字改编]()
走进C/C++函数的名字改编
现在的编程语言中，不同的变量或函数可以用相同的标识符命名，只要它们占据不同的命名空间（通常由模块、类或作用域定义）或有不同的签名（如在函数重载中）时，就可能会出现标识符重名的情况。另外，根据编译器和平台的不同，函数的调用方式在编译为机器代码后也可能使用不同的、专门的调用约定。
2023-05-15 digiproto
-
![数字孪生in卫星：数字化助力强国芯]()
数字孪生in卫星：数字化助力强国芯
数字化指将复杂多变的信息通过编码方式转换为计算机可识别的二进制数据，并建立适当的数字化模型进行存储。卫星嵌入式芯片的数字化与数字孪生势在必行，而数字化仿真芯片的出现基本解决了这一难题。
2023-05-15 digiproto
-
![通过模糊测试寻找车载蓝牙的安全漏洞]()
通过模糊测试寻找车载蓝牙的安全漏洞
车载蓝牙的安全威胁主要来自蓝牙漏洞攻击、蓝牙配对窃听、DoS攻击等，可能导致目标计算机或网络无法提供正常的服务或资源访问。车载蓝牙安全漏洞不容忽视。
2023-05-15 digiproto
-
![SkyEye助力火箭“一”飞冲天]()
-
![浅议嵌入式软件覆盖率测试]()
浅议嵌入式软件覆盖率测试
随着现代信息技术与软硬件技术的快速发展，嵌入式系统的功能日益强大，嵌入式设备和软件应用领域越来越宽泛。近年来，嵌入式软件代码量呈爆炸式增长，对测试的要求越来越高，尤其是涉及防务、航空、汽车等安全关键领域。
2023-05-15 digiproto
-
![汽车安全困境：如何破局？]()
-
![浅谈CompCert：经过形式化验证的可信编译器]()
浅谈CompCert：经过形式化验证的可信编译器
对编译器的正确性进行验证的诸多手段中，最为严格的莫过于采用形式化方法。点开原文查看经过形式化验证的可信编译器CompCert。
2023-05-15 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
