完善资料让更多小伙伴认识你，还能领取20积分哦， 立即完善>
3天内不再提示
电子发烧友论坛|
为了满足国内某安全攸关领域的需求, L2C编译器的开发始于2010年9月, 其目标是设计实现一个经过形式化验证的可信编译器, 其源语言是面向领域的同步数据流语言Lustre*(Lustre语言的一个变种, 参考下一节), 目标语言是C, 最终可用作相关领域数字化仪控系统的安全级代码生成器.国产主可控的嵌入式仿真测试软件SkyEye与可信编译器L2C的核心翻译步骤及其设计与实现。国产主可控的嵌入式仿真测试软件SkyEye与可信编译器L2C的核心翻译介绍1、L2C编译器简介L2C编译器的发展进程可归为3个里
0
|
|
|
|
|
只有小组成员才能发言，加入小组>>
949 浏览 0 评论
1243 浏览 1 评论
2605 浏览 5 评论
2952 浏览 9 评论
移植了freeRTOS到STMf103之后显示没有定义的原因？
2820 浏览 6 评论
keil5中manage run-time environment怎么是灰色，不可以操作吗？
1401浏览 3评论
255浏览 2评论
526浏览 2评论
437浏览 2评论
M0518 PWM的电压输出只有2V左右，没有3.3V是怎么回事？
510浏览 1评论
/6 
关注我们的微信
下载发烧友APP
电子发烧友观察
版权所有 © 湖南华秋数字科技有限公司
电子发烧友 （电路图） 湘公网安备 43011202000918 号 电信与信息服务业务经营许可证：合字B2-20210191
工商网监
湘ICP备2023018690号
1069
淘帖
234
