首页> 中文期刊>信息通信 >基于CVSA的无虚拟机主机端编译器验证适配设计与实现

基于CVSA的无虚拟机主机端编译器验证适配设计与实现

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

编译器厂商不断向编译器提供新的非一致性扩展,但这些扩展是否会造成程序的问题,就需要有相应的工具进行检查.CVSA是国际公认的C编译器一致性验证工具,但在验证交叉编译器时具有用况约束.提供一种适配CVSA的设计和实现,以扩展CVSA的使用范围.

著录项

来源
《信息通信》|2019年第5期|129-130|共2页
作者
魏国; 麦先根; 张旻;
展开▼
作者单位

西安航空计算技术研究所,陕西西安710065;

西安航空计算技术研究所,陕西西安710065;

西安航空计算技术研究所,陕西西安710065;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP232;
关键词
CVSA; 交叉编译器; 验证; 适配;

相似文献

中文文献
外文文献
专利

1. 基于硬件cache锁机制的Java虚拟机即时编译器优化 [J] . 敖琪 ,蔡嵩松 ,王剑 . 计算机研究与发展 . 2012,第0z1期
2. 基于虚拟机的可编程器件仿真系统中编译器技术的研究 [J] . 欧阳星明 ,朱尚文 ,朱金银 . 计算机工程与科学 . 2007,第002期
3. 管理员端虚拟主机管理子系统设计与实现分析 [J] . 姜澎 ,金世俊 . 电脑知识与技术 . 2008,第022期
4. 管理员端虚拟主机管理子系统设计与实现分析 [J] . 姜澎 ,金世俊 . 电脑知识与技术：学术交流 . 2008,第008期
5. 基于FC-AE-ASM协议主机总线适配器设计 [J] . 袁新治 . 计算机与现代化 . 2016,第001期
6. 基于共享内存的OpenCL主机-内核代码融合编译器设计与实现 [C] . Hong Rui ,洪锐 ,Wu Mingchuan . 2018年全国高性能计算学术年会 . 2018
7. 基于ARM的USB OTG IP核主机端驱动的设计与实现 [A] . 孙尧 . 2010

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号