浅析待测物元与可测物元在可拓检测中的转换

以可拓检测为基础,对于可拓检测中可测物元与待测物元的相互转化问题,提出新的思路,即以模糊推理的检测模型、可拓变换与关联函数为粒子群算法的设计规则,提出基于可拓粒子群算法和模糊推理的待测物元转化问题的解决方法,并通过实际例子的应用验证该方法的可行性.     

基于固件的系统芯片协同验证平台

使用FPGA进行全系统仿真是验证基于平台设计的系统芯片(SoC)的有效手段,但FPGA原型验证一方面须等待硬件设计完成编码,另一方面FPGA全系统环境下的硬件设计错误定位耗时,验证周期较长.为更早展开系统级验证工作并缩短验证周期,提出一种基于固件的协同验证平台-FCVP.FCVP在FPGA上基于固件模拟待测硬件设计和系...     

可拓检测中的待测物元转换问题研究与分析

以可拓检测为研究基础,提出第3类检测问题：待测物元转化问题,即新的检测环境下的可测物元与待测物元的互换问题。针对该问题的特殊性,以基于神经网络的检测模型为问题求解框架,可拓变换与关联函数作为遗传算法的设计准则,提出基于可拓遗传算法和神经网络的待测物元转化问题的解决方法。通过实际例子的应用验证了该方法的可行性。     

一种基于参考模型的GPDSP指令流控自动验证方法

随着科学计算和人工智能算法复杂度的增加,作为硬件设计中的控制中心,指令流控部件的设计面临复杂性和精确性急剧提升的挑战.FT-xDSP是国防科技大学自主研发的一款64位GPDSP处理器,其指令流控部件的设计规模和复杂性大幅增加,使得指令流控部件的验证成为一个突出难题.提出一种基于指令重排参考模型的指令流控自动化验证方法:首先,以指令输入输出关系为主要特征建立流控部件的抽象模型,屏蔽了内部复杂逻辑,在保证分析结果准确性的基础上降低了分析复杂度;其次,通过自动生成带约束的随机测试激励,对参考模型和待测设计结果进行自动化比较分析,在验证代价相当的情况下提升了代码覆盖率和功能覆盖率.实验和实际应用结果表明,该方法能针对指令流控验证中的薄弱点进行定向随机验证,大幅度提升了指令流控部件的验证效率和验证完整性.     

一种基于参考模型的GPDSP指令流控自动验证方法

随着科学计算和人工智能算法复杂度的增加,作为硬件设计中的控制中心,指令流控部件的设计面临复杂性和精确性急剧提升的挑战.FT-xDSP是国防科技大学自主研发的一款64位GPDSP处理器,其指令流控部件的设计规模和复杂性大幅增加,使得指令流控部件的验证成为一个突出难题.提出一种基于指令重排参考模型的指令流控自动化验证方法:首先,以指令输入输出关系为主要特征建立流控部件的抽象模型,屏蔽了内部复杂逻辑,在保证分析结果准确性的基础上降低了分析复杂度;其次,通过自动生成带约束的随机测试激励,对参考模型和待测设计结果进行自动化比较分析,在验证代价相当的情况下提升了代码覆盖率和功能覆盖率.实验和实际应用结果表明,该方法能针对指令流控验证中的薄弱点进行定向随机验证,大幅度提升了指令流控部件的验证效率和验证完整性.     

系统芯片验证平台设计

使用验证平台可以提高验证效率,传统的验证平台是针对特定的待验证模块设计的,不同的设计需要开发不同的验证平台.验证平台的开发既浪费时间,又很难保证验证平台本身100%正确.文中提出了一种系统芯片验证平台开发方法,按该方法开发出的验证平台具有高可重用性、可扩展性、可升级性、可维护性和自动化等功能,提高了验证平台的开发效率,从而提高了验证效率.     

基于相识度的恶意代码检测

特征码的识别方法仅能识别已知的恶意代码,并未解决恶意代码的判别问题.当前基于行为的扫描和启发式扫描也只是关注恶意代码的单个的危险行为点,误报率很高.侧重挖掘行为之间的关系,采用矩阵将待测代码的行为及行为之间的关系进行描述、测量,由此提出一种基于相识度的恶意代码检测方法.相识度是系统对待测代码的熟悉程度.根据相识度的大小来判断待测代码是否为恶意代码,相识度越大,待测代码是恶意代码的可能性就越小.在此基础上,提出了相应的恶意代码检测算法,通过实例验证了该方法的有效性.     

基于特定裸芯片的硬件测试系统设计

针对系统级封装SIP(System In a Package)测试需求增长，介绍了一种基于特定裸芯片的硬件测试系统设计方案。选用两种主控裸芯为主控芯片，配合硬件电路，通过软件控制，该硬件测试系统可实现程序下载和外部接口验证。该硬件测试系统配有多路串行通信接口和普通IO接口，可模拟后续待测SIP芯片引出功能。该硬件测试系统经过长时间常温环境连续工作验证，所设计的电路板工作稳定。硬件测试系统正常工作时功耗为2.5 W，可实现RS422串口和SPI数据传输，实现程序下载复位重载功能。该硬件测试系统为下一步待测SIP芯片的设计生产提供了参考。     

系统芯片验证平台设计

使用验证平台可以提高验证效率,传统的验证平台是针对特定的待验证模块设计的,不同的设计需要开发不同的验证平台.验证平台的开发既浪费时间,又很难保证验证平台本身100%正确.文中提出了一种系统芯片验证平台开发方法,按该方法开发出的验证平台具有高可重用性、可扩展性、可升级性、可维护性和自动化等功能,提高了验证平台的开发效率,从而提高了验证效率.     

基于IEEE1149.7标准的CJTAG测试设计方法研究

在深入研究IEEE1149.7标准的基础上,针对测试问题设计了CJTAG测试控制器,实现了T0、T1、T3和T4层级的主要功能。对该控制器的各个功能进行了仿真验证。结果表明该控制器产生的测试信号符合IEEE1149.7标准的规定,能够控制待测芯片实现相应的测试功能,取得了较好的测试效果。