HDL代码内部逻辑测试方法的研究与实现

来源 :南京理工大学 | 被引量 : 0次 | 上传用户:damitanqq
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着FPGA在各重要领域中越来越多的应用以及其复杂度和重要性的提高,使用硬件描述语言(HDL)来进行电路设计已经成为一种趋势。因此HDL代码的质量对系统安全性的影响变得越来越显著,也就使其可靠性问题越来越突出。如今,如何保障构成FPGA设计安全性重要环节之一的HDL代码的质量,快速高效地在日益复杂的HDL代码中发现潜在的问题缺陷已经成为重点研究的课题。因为FPGA的结构和开发方式与软件系统类似,HDL的语法和失效机理也与软件语言相似,所以,可以使用成熟的软件测试理论与方法对HDL代码进行内部逻辑测试。本文通过对相关的软件测试理论与方法进行研究,并根据FPGA系统和Verilog HDL的特点,对其进行修改与适用,提出了一种以静态结构分析与权重计算为基础的测试方法。该方法通过对代码内部变量及程序路径进行词法分析与条件规约提取,得出代码内部的相关信息,并通过提出的主客观综合的权重分析法对提取出的变量进行权重赋予。通过计算出的权重系数,可以合理地确定对代码中的哪些程序路径(中间变量)进行着重检测,提高了测试的效率。同时根据提取的相关信息与权重系数,可以指导具有代表性、针对性的测试用例输入数据的设计,并有助于实现测试用例输入数据的降维及代码错误快速定位。文章最后对实例代码的测试试验,验证了该测试方法对组合逻辑电路的可行性与有效性。
其他文献
摘 要:研究生的培养是我国目前人才市场的主流需求,如何培养合格的、适应社会需要的研究生是我国高等学校必须面对的问题。伴随着研究生的不断扩招,我国原有的单导师制度无论从导师精力还是学生培养效果上都已经不适合现有的研究生培养需要,因而如何建立研究生导师团队成为我国高等学校必须解决的问题,从研究生导师团队建设的必要性出发,通过对团队建设中存在的问题出发,探讨了研究生团队建设的理想模式和理想方案。  关键
领导干部只有提高政治理论水平,提高学习能力、驾驭市场经济能力、依法执政能力和总揽全局的能力,才能培育其综合能力,才能肩负起领导责任,才能当好最广大人民群众根本利益的
自女性解放问题出现至今,女性在社会上的地位发生了天翻地覆的变化,虽然女性如今在社会上的地位已经得到了很大的改善,甚至于,从某种程度上来说,男女已经基本上实现了男女平等,但是我们妇女解放的问题依然任重道远,旧的问题的解决,又有新的问题出现。自女性主义思想进入我国以来,研究的学者逐渐增多,女性问题的研究也在不断变得丰富,也取得了很多显著的成果。此外,在马克思主义女性观的指导下,在很大程度上来说,我国妇
桥墩是桥梁施工的重要环节,同时其也是起到关键作用的位置,负责传递车辆给桥梁施加的压力。近几年,我国桥梁建设的数量大量增加,线路更加复杂,而很多桥梁会横跨河流,所以明确
目的:筛选出磷酸盐还原菌.方法:将污泥稀释并采用平板涂布法分离提纯磷酸盐还原菌,选取除磷效果良好的细菌通过显微镜观察进行形态学鉴定和分子生物学的鉴定.培养得到一株磷酸