首页> 中文期刊> 《空间电子技术》 >等效性验证工具进行大规模FPGA验证探讨

等效性验证工具进行大规模FPGA验证探讨

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

文章分析了FPGA设计验证的一般流程,并以等效性验证原理为基础,结合等效性验证工具,探讨了大规模FPGA设计验证的工作流程及具体实施过程,对优化FPGA设计验证流程给出了建设性建议.

著录项

来源
《空间电子技术》 |2011年第1期|65-6775|共4页
作者
杨文强; 门永平; 丁宗杰;
展开▼
作者单位

中国空间技术研究院西安分院;

西安;

710000;

中国空间技术研究院西安分院;

西安;

710000;

中国空间技术研究院西安分院;

西安;

710000;

展开▼
原文格式 PDF
正文语种 chi
中图分类
关键词
逻辑等效性; FPGA; 形式化验证;

相似文献

中文文献
外文文献
专利

1. 是德科技发布支持信令连接的5G射频设计验证测试工具套件,加速新一代5G终端设备的开发新工具套件让开发人员得以快速验证5G射频要求并进行深入分析 [J] . . 国外电子测量技术 . 2017,第9期
2. FPGA设计及多片FPGA进行ASIC设计验证的探讨研究 [J] . 黄可望 . 微型电脑应用 . 2004,第012期
3. 轨道交通设备中FPGA芯片等效性验证方法 [J] . 陈光 ,郑桂燕 ,刘伟超 . 铁路通信信号工程技术 . 2016,第001期
4. 组织辐射等效材料等效性验证方法的探讨 [J] . 张加易 ,袁中凡 ,林大全 . 中国测试 . 2006,第002期
5. 美国发布《对外国食品安全检验体系进行持续等效性验证》指令 [J] . . 质量与认证 . 2018,第10期
6. ACSemu:一种面向超大规模SoC验证的可扩展FPGA模拟平台 [C] . 常轶松 ,张科 ,刘月吉 . 第十七届计算机工程与工艺年会暨第三届微处理器技术论坛 . 2013
7. 大规模SOC设计的高效的FPGA验证技术研究与实现 [A] . 丰玉田 . 2005

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号