论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 无线电电子学与电信技术期刊 \
- 电子设计技术期刊 \
SpringSoft为设计验证方法提供新工具
SpringSoft为设计验证方法提供新工具
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
推荐文章
基于CMMI验证工具的研究与设计
CMMI
验证
同行评审
大气扩散模型验证与比对的工具和方法
大气扩散模型
模型比对
模型验证
一种UART & SPI接口验证工具的设计与实现
UART
SPI
接口验证
自动化
基于活性顺序图的形式化验证方法及工具研究
活性顺序图
形式化验证
软件开发过程
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2011(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
仿真验证
FPGA原型验证
Verdi
Certitude
Probe Visualizer
SpringSoft思源
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
电子设计技术
主办单位：
中国电子报社
出版周期：
月刊
ISSN：
1023-7364
CN：
11-3617/TN
开本：
16开
出版地：
北京市
邮发代号：
创刊时间：
1994
语种：
chi
出版文献量（篇）
5532
总下载数（次）
6
总被引数（次）
1789
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
一般工业技术
交通运输
军事科技
冶金工业
动力工程
化学工业
原子能技术
大学学报
建筑科学
无线电电子学与电信技术
机械与仪表工业
水利工程
环境科学与安全科学
电工技术
石油与天然气工业
矿业工程
自动化技术与计算机技术
航空航天
轻工业与手工业
金属学与金属工艺
电子设计技术2014
电子设计技术2013
电子设计技术2012
电子设计技术2011
电子设计技术2010
电子设计技术2009
电子设计技术2008
电子设计技术2007
电子设计技术2006
电子设计技术2005
电子设计技术2004
电子设计技术2003
电子设计技术2001
电子设计技术2011年第9期
电子设计技术2011年第8期
电子设计技术2011年第7期
电子设计技术2011年第6期
电子设计技术2011年第5期
电子设计技术2011年第4期
电子设计技术2011年第3期
电子设计技术2011年第2期
电子设计技术2011年第12期
电子设计技术2011年第11期
电子设计技术2011年第10期
电子设计技术2011年第1期
