搜索筛选:
搜索耗时1.5843秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
发布年度:
[学位论文] 作者：查敬芳,,
来源：上海交通大学 年份：2004
可靠性是核电仪控系统的重要性能之一,是核电站安全稳定运行的保障。本文以基于FPGA的核电仪控系统软件为对象,研究了软件可靠性的验证方法,对于国内FPGA软件验证技术水平的...
[会议论文] 作者：查敬芳,
来源：第26届中国过程控制会议 年份：2015
目前大规模集成电路功能验证领域的研究热点之一是覆盖率驱动的测试用例生成技术。这些研究是以可靠性为测试标准，未考虑测试用例的充分性。本论文提出基于充分度准则和遗传算法的测试用例生成技术，充分度准则是使用变异分析技术来检测测试数据充分性的技术。在测......
[期刊论文] 作者：查敬芳,白涛,胡立生,,
来源：化工自动化及仪表 年份：2016
提出一种基于随机方法和优化的DPLL算法的测试用例自动生成技术,并以基于FPGA的核电仪控系统为对象进行了验证。该方法能验证HDL描述符合设计规范的要求,代码覆盖率较好,所提...
相关搜索：
