原文服务方: 微电子学与计算机       
摘要:
随着科学技术尤其是半导体工艺与通信技术的快速发展,FPGA技术日趋成熟,采用FPGA的设计愈加广泛.随着系统设计的复杂化,其FPGA的验证在整个开发周期中占据的比重越来越大.针对以上背景,本文采用系统功能验证中常用的自动测试模式生成(ATPG)算法为基本框架的ATALANTA开源软件,研究基于FPGA的基本查找表(LUT)结构的ATPG验证技术,提出了一种基于LUT的ATPG验证算法和这种算法在ATALANTA软件中的实现方法,实验结果表明了这种方法的可行性.
推荐文章
串扰时延故障的SAT-ATPG算法研究
串扰时延故障
布尔可满足性
时延测试
基于LUT的逆半调改进算法
图像逆半调
误差分散
查找表
峰值信噪比
基于布尔可满足性的组合电路ATPG算法
布尔可满足性
ATPG算法
电路结构
一种基于ATPG的ASIC前端验证环境的构建
专用集成电路
前端验证
总线功能模型
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于LUT的ATPG算法研究
来源期刊 微电子学与计算机 学科
关键词 ATPG算法 ATALANTA FPGA LUT查找表
年,卷(期) 2017,(4) 所属期刊栏目
研究方向 页码范围 44-48
页数 5页 分类号 TP301
字数 语种 中文
DOI
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 王志远 兰州大学信息科学与工程学院 8 16 3.0 3.0
2 何安平 兰州大学信息科学与工程学院 10 13 3.0 3.0
3 李彩虹 兰州大学信息科学与工程学院 16 37 4.0 6.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (49)
共引文献  (50)
参考文献  (7)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
1988(1)
  • 参考文献(0)
  • 二级参考文献(1)
1990(2)
  • 参考文献(1)
  • 二级参考文献(1)
1996(1)
  • 参考文献(0)
  • 二级参考文献(1)
1997(3)
  • 参考文献(0)
  • 二级参考文献(3)
1998(1)
  • 参考文献(0)
  • 二级参考文献(1)
1999(2)
  • 参考文献(1)
  • 二级参考文献(1)
2000(3)
  • 参考文献(0)
  • 二级参考文献(3)
2001(3)
  • 参考文献(0)
  • 二级参考文献(3)
2002(4)
  • 参考文献(0)
  • 二级参考文献(4)
2003(2)
  • 参考文献(0)
  • 二级参考文献(2)
2004(5)
  • 参考文献(0)
  • 二级参考文献(5)
2005(6)
  • 参考文献(0)
  • 二级参考文献(6)
2006(11)
  • 参考文献(0)
  • 二级参考文献(11)
2007(9)
  • 参考文献(2)
  • 二级参考文献(7)
2008(1)
  • 参考文献(1)
  • 二级参考文献(0)
2012(1)
  • 参考文献(1)
  • 二级参考文献(0)
2015(1)
  • 参考文献(1)
  • 二级参考文献(0)
2017(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
ATPG算法
ATALANTA
FPGA
LUT查找表
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
微电子学与计算机
月刊
1000-7180
61-1123/TN
大16开
1972-01-01
chi
出版文献量(篇)
9826
总下载数(次)
0
总被引数(次)
59060
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导