Name: 天目全数字实时仿真软件SkyEye
Brand: 迪捷软件

L2C中CtempGen层语义保持证明中环境匹配的定义

ModelCoder是一款由迪捷软件自主研发，支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过了形式化验证，以保证生成过程的正确无误性，能够用于飞行控制系统，航空电子系统，核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。

2023-05-15 digiproto 531

浅谈ARMv7-A协处理器CP15

协处理器，顾名思义就是协助型处理器，主要协助做一些主处理器无法执行或者执行效率不佳的事情，比如浮点、图像、音频处理这一类，随着硬件的发展，大多协处理器的功能都慢慢集成到主处理器中，但是某些特定的工作还是需要协处理器进行辅助。

2023-05-15 digiproto 2959

初识Web Component

Web Components是为了解决HTML不支持组件导致的代码冗余。在没有组件的情况下，相同的HTML结构需要在代码出现多次，既不美观又严重影响维护，从而影响项目的开发进度。

2023-05-15 digiproto 966

软件定义汽车带来的困境---如何破局？

随着科技的发展，人们的生活正在发生翻天覆地的变化巨大改变，生活质量不断提高，这使得人们对智能化的服务体验的要求越来越高。传统的汽车行业单纯地的改变物理硬件，只能在局限的空间内改善舒适度，而无法适应人们对智能化的需求。

2023-05-15 digiproto 684

SkyEye图形化界面使用技巧篇（二）

本文主要介绍SkyEye图形化界面（V3.2.5）中覆盖率测试的使用技巧，后续将持续更新更多使用技巧。SkyEye图形化界面，操作简单、易于理解、上手快，各功能模块区分明晰，且技术支持随时在线。若各位朋友感兴趣的话，可订阅迪捷软件公众号，也可联系官方获取试用版（迪捷软件 (digiproto.com)）进行试用。

2023-05-15 digiproto 719