-
![精彩回顾-迪捷软件先进装备软件技术研讨会之行圆满收官]()
精彩回顾-迪捷软件先进装备软件技术研讨会之行圆满收官
2023年11月24日，为期3个月的先进装备软件高安全、高可靠、智能化验证技术系列研讨会在成都圆满收官。迪捷软件董事长康烁作为研讨会特邀专家，在西安、上海、成都站进行了演讲分享。
2023-11-30 digiproto
-
![SkyEye操作指南：连接TI CCS的IDE调试]()
-
![PowerPC E500 MMU详解]()
PowerPC E500 MMU详解
1. 什么是MMU？MMU是Memory Management Unit的缩写，中文名称为内存管理单元。MMU是负责处理器（CPU）的内存访问请求的计算机硬件，其功能包括虚拟地址到物理地址的转换（即虚拟内存管理）、内存保护、缓存cache的控制等。MMU是一个与软件密切相关的硬件部件，也是运行linux等依赖MMU内存管理单元操作系统内核机制的最大部件之一。如果处理器没有MMU，CPU内部执行单元
2023-05-15 digiproto
-
![浅谈CompCert：经过形式化验证的可信编译器]()
浅谈CompCert：经过形式化验证的可信编译器
对编译器的正确性进行验证的诸多手段中，最为严格的莫过于采用形式化方法。点开原文查看经过形式化验证的可信编译器CompCert。
2023-05-15 digiproto
-
![浙里工业软件声音 - 金问鼎：“MBSE+DevOps”两位一体，SkyEye助力卫星数字先行]()
浙里工业软件声音 - 金问鼎：“MBSE+DevOps”两位一体，SkyEye助力卫星数字先行
天目全数字实时仿真软件SkyEye作为攻克“卡脖子”关键技术、国产替代和自主可控的工业软件，可构建卫星全生命周期的数字孪生系统，应用先进的“MBSE+DevOps”方法论，实现卫星姿态轨道控制软件的正确性、可靠性与高效性，为卫星保驾护航。
2023-05-15 digiproto
-
![绍兴市越城区人大常委会主任徐荻一行莅临迪捷软件调研指导]()
绍兴市越城区人大常委会主任徐荻一行莅临迪捷软件调研指导
2022年9月22日上午，绍兴市越城区人大常委会主任徐荻一行莅临迪捷软件调研指导，迪捷软件副总经理田娜及相关部门负责人出席接待。
2022-09-23 digiproto
-
![【视频】基于SkyEye仿真C6713处理器]()
【视频】基于SkyEye仿真C6713处理器
C6713是美国德州仪器公司推出的一款基于DSP架构的C6000系列处理器，作为32位高速浮点型DSP，其时钟频率最高可达300MHz，被广泛应用于工控、通信、电力等领域。C6713处理器的体系结构采用超长指令字结构（Very Long Instruction Word，VLIW），最大处理能力可以达到2400MIPS，具有高性能、低功耗、高可靠的特点。
2022-08-11 digiproto
-
![绍兴市越城区副区长侯宏伟一行赴迪捷软件走访考察]()
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
