RTL验证框架--HRV

设计并实现了一个RTL覆盖率驱动的验证框架HRV，它集成了自主开发的基于程序切片技术的设计抽取器、基于VCD文件的代码覆盖率分析器以及基于路径和基于断言的模拟矢量自动生成方法．实验结果表明，HRV通过集成多种验证工具，提高了模拟验证效率，加速了错误检测和错误定位．     

基于关键信号的路径覆盖率模型

针对使用路径覆盖率作为验证目标时出现的路径数量庞大、覆盖率难以快速提高等问题，使用控制流图表示代码逻辑结构，采用数据流分析技术对待验证路径进行合理的化简．所产生的路径集合规模小、针对性强，有利于尽早发现设计错误．最后使用遗传算法生成模拟矢量，并基于北京大学“众志．863系统”芯片中的功能模块给出实验结果，说明该覆盖率模型的有效性．     

一种应用于SoC的总线系统模拟验证方法

提出一种基于模拟仿真和覆盖率分析的方法．通过前期使用带约束的随机测试向量进行模拟仿真、在达到一定覆盖率后进行覆盖率分析、然后手工生成测试向量提高覆盖率的方法,对一款SoC芯片的总线系统进行验证,有效地减少了验证仿真所需时间,得到了预期的验证结果．     

一种P2P环境下分布式文件存储系统的缓存策略

在分布式文件存储系统中,缓存技术被广泛用于提高系统性能。论文针对P2P环境下分布式文件存储系统的特点,提出了一种兼顾用户访问效率和复本一致性的灵活的缓存策略,不同于目前已经存在的P2P存储系统,论文使用“阀值”来将文件区分为热点文件和非热点文件,并且只针对热点文件来做缓存,根据缓存空间的使用效率和不同的文件类型来设置不同的阀值使得缓存策略灵活而有效,论文对该策略进行了理论上的分析,然后通过Trace-Driven模拟的方法验证了该策略的可行性。     

通用CPU设计验证中的等价性检验方法

针对传统的模拟验证方法需要大量的时间且难以获得完全的覆盖率的局限性,提出了目前应用最广泛的一种形式验证方法——等价性检验在一款通用CPU设计验证中的应用方案,包括寄存器传输级(RTL)设计与门级网表、门级网表与门级网表、RTL设计与RTL设计之间的功能等价性验证．此外,给出了验证过程中一些常见问题的解决办法．验证结果表明了该方法的可行性,显著地减少了门级模拟的时间．     

基于模块的运算部件模拟验证研究与实现

提出一种基于模块的运算部件模拟验证方法，其基本思想是：针对运算部件模块，从通用的C测试程序中提取出模拟和仿真的输入向量；并对运行结果进行分析。利用该方法针对浮点乘法部件的验证过程说明，该方法可减少系统仿真时间，加速功能部件的逻辑验证，从而提高对处理器调试的速度。     

基于路径驱动的多路径分析算法

针对动态二进制程序分析方法存在路径覆盖不全的问题,提出了基于路径驱动的多路径分析算法。其核心思想是在可控的模拟调试环境中动态执行被分析的二进制程序,通过修改CPU程序计数器PC值,驱动程序执行在当前输入条件下无法访问的程序路径,实现对多条程序路径的访问。基于该算法,设计并实现了一个基于路径驱动的多路径二进制程序分析系统。测试结果表明,该算法能够较全面地发掘程序执行路径,有效提高了分析代码的覆盖率。     

基于函数调用图的二进制程序相似性分析

现有基于函数调用图的程序二进制文件相似性分析方法在分析经混淆处理的复杂程序时存在准确度低的问题。针对该问题提出了一种基于子图匹配的层次分析方法。以子图为最小检测单元,分层检测各个子图的相似度;再依据各个子图的相似度,采用加权平均策略计算程序二进制文件的相似度。实验结果表明,该方法抗干扰能力强,能够有效应用于恶意程序家族分类及新病毒变种检测,且具有较高的检测效率。     

面向HDL描述基于路径覆盖的模拟矢量自动生成方法研究

提出和实现了一种面向HDL描述基于路径覆盖的模拟矢量自动生成方法,该方法在约束生成时只考虑控制语句的条件表达式，可有效避免生成冗余约束；利用扩展的决策图模型解决了中间信号到初始输入的传播问题和信号依赖关系问题，以及处理各种HDL描述风格的问题；采用约束逻辑编程方法解决了由位、位向量和整型变量组成的约束系统的统一处理问题,实验结果表明该方法能加快模拟矢量生成速度，提高路径覆盖率．生成的模拟矢量也能用于低层次设计验证和故障模拟，加快了设计进度,将该方法的原型系统用于一个32位微处理器核RTL级验证，发现了RTL级设计描述中的错误．     

模拟电路故障字典开发平台

针对模拟电路板故障诊断和维修中存在的困难，引入基于故障字典法的模拟电路故障字典开发平台，该平台集成了电路模型图形化输入、元器件故障自动插入、交流频率自动选取、诊断测试点优选等关键技术，通过对电路的自动仿真与数据分析实现了模拟电路故障诊断用故障字典的自动生成；通过结合实际模拟电路板验证表明，应用陔平台可有效避免传统依赖人工分析进行故障诊断遇到的各种难题，对提高模拟电路板故障诊断效率以及实现模拟电路板的自动测试都具有重要意义。     

一种带偏置的基于相关性分析的Cache一致性协议验证方法

Cache一致性协议作为CC-NUMA系统的硬件基础,在CC-NUMA系统的设计过程中占有举足轻重的地位。对于复杂的CC-NUMA系统,由于其Cache一致性协议十分复杂,通常难以进行形式化验证,而常规的伪随机模拟又存在验证效率低下的问题。本文提出了一种对复杂CC-NUMA系统中Cache一致性协议进行模拟验证的方法。该方法通过对验证覆盖目标进行相关性分析,使用偏置技术对传统伪随机模拟验证方法进行了改进。实际验证结果表明,改进后的方法使得模拟验证覆盖率的增长速率有了明显提高。     

基于模型开发的机载软件模型测试技术研究

在Do - 178B以及Do- 178C对于Do- 178B进行修改的部分内容基础上,对于模型的测试进行研究,其主要研究内容有:模型验证过程、模拟用例、过程和结果的开发、模拟用例、过程和结果的验证、高层需求的覆盖率分析、模型覆盖率分析、模型覆盖率分析解决方案等.     

模拟演练态势回放系统的设计与实现

态势回放是模拟演练仿真系统的重要组成部分,可以协助参演人员对演练过程进行分析和评估.大型模拟演练仿真中,态势回放系统的数据量庞大,并且对绘制的实时性有较高要求.针对以上特点,提出一种海量数据动态调度传输方法和基于OpenGL的实时绘制方法,设计并实现具有良好扩展性和可移植性的态势回放系统.实验结果表明,该系统表现态势丰富清晰,能够满足大型模拟演练系统态势回放的需求.     

“龙腾R2”微处理器模块级验证

针对"龙腾R2"微处理器验证过程中的存在验证规模大,人力资源不足的问题,采用流水线模型构建随机的指令序列生成器,搭建以功能覆盖率为导向的自动化验证平台;该平台在仿真验证过程中能根据处理器的运行状态及覆盖率实时地调整指令流以侧重当前验证不充分的功能模块,实现自动化验证;通过仿真,与传统方法相比,在达到同等验证程度的情况下,使用该平台验证周期明显缩短,同时验证覆盖率也有所提高。     

分类树方法在集成电路设计功能验证中的应用

功能验证是制约集成电路设计发展的主要瓶颈,针对功能验证中存在的测试集设计难度大及覆盖模型精度低等问题,提出一种基于分类树方法的高效测试集生成方法及功能覆盖模型搭建方法,将验证方法应用于模加/模减单元的功能验证中。结果证明,运用分类树方法管理测试向量和搭建覆盖模型,可以显著提高验证完备性和可靠性。     

基于反馈约束的SRAM接口时序分析方法

FPGA验证作为保证FPGA产品功能和可靠性的重要手段已经备受关注。对接口芯片时序的验证通常通过布局布线后仿真来进行,但布局布线后仿真需要耗费大量的时间。本文介绍了一种基于反馈的SRAM接口时序验证的方法,将FPGA输入输出连接成一个回路,验证结果表明,与动态仿真验证相比,该种静态时序验证方法可以较早、快速、精确定位FPGA接口时序设计存在的问题。缩短了验证时间,提高了验证效率、准确性和覆盖率。     

基于交互式流量回放的用户行为仿真技术

流量回放可为网络靶场提供逼真的流量数据并支持网络新技术验证与安全评测。面向复杂虚拟网络的交互式用户行为仿真需求,设计一种交互式流量链路的用户行为仿真架构。采用基于云平台的分布式流量仿真策略,以实现面向复杂虚拟网络用户的行为仿真多样化和可扩展加载。对交互式流量回放过程中延时修复与补偿策略进行研究,提升交互式用户行为仿真的时序逼真性。仿真实验结果表明,该仿真架构能够在保证流量时序准确性的前提下,实现交互式的大规模用户行为仿真,与传统的ITRM、Tcpreplay等方法相比,在仿真行为的多样性、规模性、逼真性上具有一定优势,可为安全评测提供有效支撑。     

一种基于时间戳的无线射频重放攻击抵御方案

分析无线射频识别系统中存在的重放攻击安全问题,提出一种基于时间戳的无线射频重放攻击的抵御方案。方案的安全验证过程由应用层负责,在无需更换原协议的情况下,对系统进行加强,使系统的安全性有所提高以应对无线射频重放攻击。通过示例分析说明方案具有高效的性能和良好的安全性。     

SV DPI技术在FPGA仿真验证的应用探讨

SystemVerilog作为近年来逐渐流行的FPGA验证语言,包含了丰富的验证特性：DPI、断言技术、功能覆盖率等,其中DPI接口技术可以帮助验证工程师在验证平台中实现对C或C++的调用,验证工程师可以通过编写C函数来实现复杂激励模型设计,同时也为进行复杂算法的FPGA设计的仿真验证提供了新的验证思路。本文提出一种基于DPI接口的FPGA仿真验证方法,实验表明：利用该方法搭建的仿真验证平台相对于传统的纯verilog验证平台,具有更高的仿真效率和验证的灵活性。该验证方法为算法级FPGA设计的确认测试提供了新的验证思路。