-
![【视频】基于SkyEye的设备寄存器功能]()
【视频】基于SkyEye的设备寄存器功能
寄存器（Register）是嵌入式系统的重要组成部分，是“有限存贮容量的高速存贮部件”。除了CPU内核中的寄存器，各种外部设备中也集成着一些寄存器。SkyEye天目全数字实时仿真软件提供了“设备寄存器”功能，为开发人员调试外设中的寄存器提供了有力的帮助。确保开发人员在调试程序的过程中，实时监控并保证设备寄存器值的变化与预期一致。
2022-09-01 digiproto
-
![如何搭建点燃式发动机仿真模型]()
-
![嵌入式系统开发中的DevOps自动化： 工具、益处和挑战]()
-
![初探形式化方法基本原理]()
初探形式化方法基本原理
1.形式化方法基本概念形式化方法是基于严格的数学基础，通过采用数学逻辑证明来对计算机软硬件系统进行建模、规约、分析、推理和验证，是用于保证计算机软硬件系统正确性以及安全性的一种重要方法。形式化方法使用数学及逻辑证明的手段对计算机系统进行建模、规约、分析、推理，其主要涵盖以下几个研究方向：定理证明、形式模型、形式语义与形式建模、形式规约、形式验证技术。下面以高可信工业领域实际应用中最广泛的形式化规格
2022-08-01 digiproto
-
![【视频】基于SkyEye仿真MPC8548处理器]()
【视频】基于SkyEye仿真MPC8548处理器
MPC8548是基于PowerPC架构的PowerQuicc III系列处理器，其强大的处理能力特别适合于高速低时延的数据处理，广泛应用于嵌入式设备、工业控制领域。MPC8548处理器最高工作频率可达1.5GHz，处理性能可达3065 MIPS。一级缓存分为指令缓存和数据缓存，容量各为32KB；二级缓存容量为512KB，支持DDR1和DDR2存储器控制器。该处理器还支持PCI、PCI-X、PCI
2022-07-28 digiproto
-
![【视频】基于SkyEye仿真P1010处理器]()
-
![SAFERTOS在医疗设备中的应用]()
SAFERTOS在医疗设备中的应用
SAFERTOS为开发人员提供响应迅速、稳健、确定性的嵌入式实时操作系统 (RTOS)。它包含开发医疗设备所需的功能，并且提供设计历史文件(DHF)，为医疗设备集成SAFERTOS提供满足认证所需的文档。
2022-07-18 digiproto
-
![SkyEye Q&A ——第二期]()
SkyEye Q&A ——第二期
Q1：什么是车载ECU？A1：ECU（Electronic Control Unit）电子控制单元，又称“车载电脑”等。它和普通的电脑一样，由微控制器（MCU，Microcontroller Unit）、存储器（ROM，Read-Only Memory）、RAM（Random Access Memory，随机存取存储器）、输入/输出接口（I/O，Input/Output）、模数转换器（A/D，An
2022-07-14 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
