-
![L2C中CtempGen层语义保持证明中环境匹配的定义]()
L2C中CtempGen层语义保持证明中环境匹配的定义
ModelCoder是一款由迪捷软件自主研发，支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过了形式化验证，以保证生成过程的正确无误性，能够用于飞行控制系统，航空电子系统，核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。
2023-05-15 digiproto 496
-
![浅谈ARMv7-A协处理器CP15]()
浅谈ARMv7-A协处理器CP15
协处理器，顾名思义就是协助型处理器，主要协助做一些主处理器无法执行或者执行效率不佳的事情，比如浮点、图像、音频处理这一类，随着硬件的发展，大多协处理器的功能都慢慢集成到主处理器中，但是某些特定的工作还是需要协处理器进行辅助。
2023-05-15 digiproto 2883
-
![漫谈Windows共享内存]()
漫谈Windows共享内存
在讲共享内存之前先来聊聊虚拟内存的那些事。 对于整个系统而言，主存与CPU的资源都是有限的，随着打开进程数量的增加，若是将所有进程运行所需的代码/数据/栈/共享库都存放在主存中，那么开启一部分进程就可以将主存占用完。
2023-05-15 digiproto 3248
-
![初识Web Component]()
初识Web Component
Web Components是为了解决HTML不支持组件导致的代码冗余。在没有组件的情况下，相同的HTML结构需要在代码出现多次，既不美观又严重影响维护，从而影响项目的开发进度。
2023-05-15 digiproto 921
-
![细数嵌入式开发与通用系统开发的不同]()
细数嵌入式开发与通用系统开发的不同
嵌入式开发指在嵌入式操作系统下进行开发，包括在系统化设计指导下的硬件和软件以及综合研发。而通用系统开发则是指在具有有多道批处理、分时、实时处理功能中的两种及以上功能的操作系统中进行开发。
2023-05-15 digiproto 1046
-
![软件定义汽车带来的困境---如何破局？]()
软件定义汽车带来的困境---如何破局？
随着科技的发展，人们的生活正在发生翻天覆地的变化巨大改变，生活质量不断提高，这使得人们对智能化的服务体验的要求越来越高。传统的汽车行业单纯地的改变物理硬件，只能在局限的空间内改善舒适度，而无法适应人们对智能化的需求。
2023-05-15 digiproto 643
-
![SkyEye——如何实现1553B总线仿真？]()
SkyEye——如何实现1553B总线仿真？
011553B总线简介1553B最初是美国军方专为飞机上设备制定的一种信息传输总线标准，具有双向传输的特性，实时性和可靠性高，现已广泛应用于航空、航天、船舶、电子等众多领域中，如飞机综合航电系统、舰船综合电子系统等。1553B总线系统主要有3部分组成，分别是总线控制器 BC（Bus Controler），远程终端RT（Remote Terminal）以及总线监视器 BM（Bus Monitor）。
2023-05-15 digiproto 1181
-
![SkyEye图形化界面使用技巧篇（二）]()
SkyEye图形化界面使用技巧篇（二）
本文主要介绍SkyEye图形化界面（V3.2.5）中覆盖率测试的使用技巧，后续将持续更新更多使用技巧。SkyEye图形化界面，操作简单、易于理解、上手快，各功能模块区分明晰，且技术支持随时在线。若各位朋友感兴趣的话，可订阅迪捷软件公众号，也可联系官方获取试用版（迪捷软件 (digiproto.com)）进行试用。
2023-05-15 digiproto 679
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
