一种基于PLI和Simics的微处理器协同验证平台

面向微处理器验证,构建了一种基于Verilog PLI和Simics模拟器的微处理器验证平台.该平台通过Verilog PLI,利用设计的控制模块将待测微处理器设计模型与Simics模拟器相连,协同自动化比较运行结果.该平台应用在龙腾R处理器的验证中.结果显示该平台有效增加了验证人员对验证过程的可观测性和可控性,具有灵活性高,仿真速度快等特点.     

IA-64微处理器系统级验证平台的设计与实现

探讨了微处理器验证的关键技术.针对IA-64微处理器芯片设计验证,设计了系统级软硬件协同验证平台;并成功验证了自主设计的IA-64微处理器的正确性和兼容性.该平台提高了验证效率和质量.     

基于Intel网络处理器的微处理器调度算法

针对网络处理器的核心问题一微处理器并行调度，以Intel IXP2400网络处理器为例．提出并实现了一种基于线程池的两阶段微处理器调度算法TS—MPSBPT。该算法将IPv4转发系统分成两个阶段．阶段内微处理器采用线程池工作模式，既解决了微指令空间不足问题，又可以充分发挥系统并行处理特性：该算法通过判断微处理器的空闲线程数和已处理数据包字节数，将数据包分配给线程池中负载最轻的微处理器。实现算法的负载均衡原则：通过将同类型m包或同一个流IP包分配给同一个微处理器，提高eache命中率和局部内存利用率．实现算法的局部性原则。实验结果表明，采用TS—MPSBPT算法的IPv4转发系统负载均衡，与Radisvs公司原IPv4转发程序相比．新系统包转发速率有较大提高．在包长度较小时效果尤其显著。     

基于SystemC和Verilog软硬件协同验证

针对当前专用数字集成电路设计中的验证瓶颈,为了在更高的抽象级别对设计对象进行描述和验证,提出一种软硬件协同验证方法.该方法基于SystemC的交易级处理器内核模型和基于Verilog的内核之外的硬件模型.该方法被应用到东南大学研发的微处理器芯片GIV的具体验证中.实验数据表明,由于采用软硬件协同验证模型在芯片生产之前对系统功能、结构设计等进行验证,缩短了开发周期,降低了开发成本,提高了验证可靠性.     

高性能16位徽处理器IP软核设计

在对标准Intel 8086微处理器进行分析的基础上,本文介绍了一种与其指令集兼容、性能大幅提高的可重用16位微处理器IP软核的设计.从处理器体系结构的划分,到指令集的设计以及处理器内部各单元的设计,进行了比较详尽的阐述,并对该设计进行了软件仿真和硬件验证.该处理器采用缩短指令执行时钟周期、增加指令预取队列、改进总线接口时序和减少有效地址计算时间等系统架构的优化,使性能得到大幅度的提高;通过扩展指令集实现与标准8086、8088、80186和80188系列微处理器完全软件兼容.     

基于Niosll的ECCDSA签名验证终端设计

本文简单介绍NiosⅡ软核处理器的功能及基于FPGA的ECCDSA签名验证算法的设计方法,综合利用NiosII软核处理器的可配置性和传统FPGA硬件设计的方法,完成了ECCDSA签名验证终端系统的设计实现.     

嵌入式可重构系统芯片的硬件验证平台设计

提出一种新的基于嵌入武可重构系统芯片的视频解码方案,采用了软硬件协同验证的方法.设计了相应的硬件验证平台,验证了H.264解码算法在可重构处理器上的可实现性.     

基于虚拟机的兼容微处理器功能验证平台

本文根据验证兼容指令集微处理器的要求，提出了利用虚拟机快速建立微处理器功能验证平台，使用已有的操作系统和应用程序作测试程序验证兼容微处理器的方法，并给出了在验证兼容Intel486指令集微处理器AMEX86中的具体应用。     

Leon2微处理器流水线相关验证

微处理器的功能验证成为设计验证的瓶颈,指令集的组合验证对流水线处理器具有重要的意义。Leon2流水线相关验证找出了流水线相关的测试向量集,实现了测试程序的自动生成,构造自动化程度较高的验证平台。与指令随机组合测试的方法相比,有针对性地验证了引起流水线相关的情况,同时测试程序达到了较高的流水线状态覆盖率。     

基于TTA技术的专用处理器设计

描述了一种基于传输触发体系架构(TTA)的处理器.对其指令集的设计和体系结构的优化进行了讨论,并给出了H.264帧内预测算法的ASIP处理器设计实例,有效的克服了当前专用处理器和微处理器的局限性.实验表明:基于TTA体系结构的H.264帧内预测ASIP处理器较之通用处理器运行周期快4倍以上.     

基于TotalRecall技术ASIC的FPGA原型验证

芯片设计中一个非常重要的环节是验证.随着FPGA技术的迅速发展使基于FPGA的原型验证被广泛的用于ASIC的开发过程,FPGA原型验证是ASIC有效的验证途径,但传统FPGA原型验证的可视性非常差.为了解决传统FPGA原型验证可视性的问题,验证工程师采用了结合TotalRecall技术的FPGA原型验证方法对一款鼠标芯片进行验证.获得该方法不仅能提供100％的可视性,还确保FPGA原型验证以实时硬件速度运行.该方法创新了ASIC的验证方法学.     

Complex system maintainability verification with limited samples

Complex system maintainability verification is always a challenging problem due to limited sample sizes. Consequently, conducting maintenance experiments in a laboratory environment is an appropriate way to obtain data for maintainability verification. In maintenance experiments, faults are seeded in the equipment and maintenance activities are implemented to record repair time. In this process, two problems arise when laboratory experimental data (in-lab data) are used together with field data during the operational test and evaluation stage. The first problem is the verification of segmental maintenance data and the second one is the combination of in-lab data and field data for integrative maintainability verification. Regarding the problems mentioned above, this paper proposes a suitable methodology to solve them. Firstly, the idea of segmentally weighted verification is adopted and the segmentally weighted verification (SWV) method is proposed to realize in-lab data verification. Secondly, the Dempster-Shafer (D-S) evidence theory based integrative verification method is presented to solve the problem of in-lab and field data combination. A case study concerning radar system maintainability verification is presented as an example of the implementation of complex system maintainability verification in industry.     

一种改进的软硬件协同验证平台的设计与实现

现有基于断言、形式化等的验证方法可保证电路按要求工作,但无法完成对设计的全验证。文中将软件验证环境与硬件加速器相结合,组成了软硬件联合验证平台,其在结构上既发挥了硬件加速器运行速度快的优点,又利用了面向对象的验证方法和可重用性高的优势。实验结果表明,针对复杂电路,验证平台使验证效率和验证覆盖率提高了3~10倍。     

基于受限随机矢量生成的功能验证

在SOC设计中,传统功能验证方法面临诸多挑战,主要体现在：①复杂验证场景难以构建。②边缘情况难以覆盖。基于受限随机矢量生成的功能验证方法在满足约束条件的前提下,随机产生验证矢量．有效解决了传统验证方法面临的挑战。本文以一款SOC的存储子系统控制模块为例,研究了在Specman验证平台上,使用E语言构建验证环境的基于受限随机矢量生成的功能验证在SOC设计中的应用。验证结果表明,复杂验证场景和边缘情况的覆盖率均达到100％。经过多目标圆片(MPW)流片试验和测试,采用该方法验证的模块达到设计要求。     

一种基于投票的VANET位置验证方法

位置欺骗严重影响了车载自组织网络（VANET）的安全,解决位置欺骗的有效方法是对位置验证。VANET中的位置验证受到了研究人员关注,针对基于最小均方误差（MMSE）的位置验证方法准确性不高的问题,为更高效准确地检测出位置欺骗,提出了一种基于投票的VANET位置验证方法,在此基础上,对所提出的方法进行了安全性分析和实验仿真,结果表明,此方法的性能优于基于MMSE的位置验证方法。     

基于模型和随机矢量生成的LCD控制器的验证

随着集成电路规模的扩大与集成度的提高,芯片功能日趋复杂,验证问题越来越显得突出,传统的验证方法已显示出其缺点.文中首先介绍了传统方法的缺点,然后提出了一种基于模型和随机矢量生成的验证方法,这种方法可以带来诸多的好处,使得大规模集成电路的验证效果得到提高.基于这种方法验证了一款片上系统(SoC)芯片中的液晶显示器(LCD)控制器,给出了具体验证环境与验证步骤,并取得了良好的效果.     

基于SV语言的DBA芯片的验证

随着芯片规模和设计复杂度的增加,传统的模拟验证方法学已经成为整个验证的瓶颈。为了解决这一瓶颈问题,验证方法学从模拟验证逐步演变成形式验证,先后经过了模拟晶体管模型仿真、门级仿真以及采用点线功能模型（BFM）的事务级仿真三个阶段。SV验证方法学是在模拟验证的基础上增加了形式验证的方法;它采用以覆盖率为导向的技术、受约束的随机技术和基于断言的技术来构建全面的验证环境。以覆盖率为导向可使验证迅速达到验证的出口条件,采用随机测试用例为主代替传统的直接测试为主可使验证迅速收敛,而通过在设计中插入断言可精确验证设计的内部时序问题。实践结果表明,采用这种验证方法极大的提高了验证的效率,缩短了验证周期。     

等价性验证在Soc设计中的应用

本文介绍了仿真验证与形式验证的功能,重点讨论了等价性验证在soc设计中的应用及基本流程,分析了等价性验证过程中常遇到的一些问题并给出了解决方案,实验显示,该验证方法可准确快速的发现设计的错误,提高验证效率。     

基于UVM的功能覆盖率驱动SDIO IP验证

在研究SDIO接口协议的基础上,采用以功能覆盖率驱动的验证方法和UVM验证方法学,构建了一个完整的SDIO IP验证平台。在自测试仿真实验中,通过各种测试用例,最终实现了功能覆盖率的收敛。仿真结果表明,该平台可以用于验证复杂的SDIO接口协议,且具有可复用性,可用于SoC系统的验证,缩短验证流程。