-
精彩回顾 - 迪捷软件亮相2023世界智能网联汽车大会
2023年9月24日，2023世界智能网联汽车大会（以下简称大会）在北京市圆满落幕。迪捷软件北京参展之行圆满收官。本次大会由工业和信息化部、公安部、交通运输部、中国科学技术协会、北京市人民政府联合主办，是我国首个经国务院批准的国家级智能网联汽车专业会议。▲开幕式本届大会以“聚智成势 协同向新——迈向商业化应用新征程”为主题，打造“1+2+4+5+N”框架，举办1场开幕式及全体大会，2场座谈会，4场
2023-09-25 digiproto
-
喜报丨迪捷软件入选浙江省2023年省级产业数字化服务商
近日，根据《关于组织开展2023年度省级产业数字化服务商申报工作的通知》要求，省经信厅公布2023年省级产业数字化服务商名单，浙江迪捷软件科技有限公司榜上有名。
2023-09-08 digiproto
-
精彩回顾 - 迪捷软件出席2023ATC汽车电子与软件技术周
2023年8月18日，2023ATC汽车电子与软件技术周在上海市圆满落幕，迪捷软件上海参展之行圆满收官。
2023-08-18 digiproto
-
-
![喜报丨迪捷软件荣获浙江省专精特新荣誉称号]()
喜报丨迪捷软件荣获浙江省专精特新荣誉称号
近日，根据工业和信息化部《优质中小企业梯度培育管理暂行办法》（工信部企业〔2022〕63号）和《浙江省经济和信息化厅关于印发浙江省优质中小企业梯度培育管理实施细则（暂行）的通知》（浙经信企业〔2022〕197号）等要求，2023年度第一批浙江省专精特新中小企业名单正式公示，迪捷软件成功获评2023年度第一批浙江省“专精特新”中小企业。专精特新中小企业实现专业化、精细化、特色化发展，创新能力强，质量
2023-05-31 digiproto
-
![汽车ECU软件开发之应用层软件与底层软件]()
汽车ECU软件开发之应用层软件与底层软件
在汽车新能源与智能化的浪潮中，亚太地区汽车产量不断增大，高端化发展趋势明显，目前已成为全球最大的汽车ECU市场。点开原文，了解汽车ECU软件的应用层软件与底层软件。
2023-05-15 digiproto
-
![ModelCoder状态机中的State逻辑]()
ModelCoder状态机中的State逻辑
ModelCoder可以进行状态机的搭建以及仿真，其支持的状态机是通过在Mealy和Moore有限状态机的基础上进行扩展来实现的。本文主要讲解状态机中状态（State）的部分逻辑。
2023-05-15 digiproto
-
![浅谈CompCert：经过形式化验证的可信编译器]()
浅谈CompCert：经过形式化验证的可信编译器
对编译器的正确性进行验证的诸多手段中，最为严格的莫过于采用形式化方法。点开原文查看经过形式化验证的可信编译器CompCert。
2023-05-15 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
