嵌入式处理器在片调试功能的验证

以龙芯1号处理器为研究对象,探讨了基于JTAG的处理器在片调试功能的验证方法.根据在片调试的结构特征建立了功能覆盖率模型,并以访存模式为基准分步建立虚拟验证原型.整个验证将定向功能测试和指令集随机测试有机地结合起来,迅速定位了设计中多个难以发现的错误.最终验证的功能覆盖率达到100%,FPGA原型经长时间运行无误.     

使用支持向量机的微处理器验证向量优化方法

为了解决微处理器仿真验证中随机验证向量质量不高的问题,提出了一种基于支持向量机(SVM)的验证向量优化方法。该方法将已仿真运行的验证向量及其覆盖率信息作为支持向量机的样本进行有监督学习,得到验证向量关于功能覆盖点的分类器。利用训练后的分类器对于新产生的验证向量进行预测,并丢弃预测中不能提高覆盖率的冗余验证向量。实验数据表明该方法能准确地过滤冗余验证向量,提高仿真运行的验证向量的质量。和完全随机的验证向量生成方法相比,该方法达到相同的功能覆盖率仅需要前者1/3的验证向量。     

片上多核处理器存储一致性验证

存储一致性验证是片上多核处理器功能验证的重要部分.由于验证并行程序的执行结果是否符合存储一致性模型理论上是NP难问题,现有的验证方法中只能采用一些时间复杂度大于O(n3)的不完全方法.发现在支持写原子性的多处理器系统中,两条执行时间不重叠的操作之间存在确定的时间序.通过引入时间序的概念,设计并实现了一种线性时间复杂度的存储一致性验证工具LCHECK.LCHECK利用时间序将验证局部化,使得在表示程序执行结果的有向图中,序关系边的推导和正确性检测都被限定在有限范围内.与现有其他方法相比,LCHECK时间复杂度低,对程序长度和访存地址数没有限制,因此验证效率更高.作为国产片上多核处理器龙芯3号的重要验证工具, LCHECK发现了一些存储系统的设计错误.     

基于遗传算法的全芯片级覆盖率驱动随机验证技术

随机测试生成技术是当今大规模集成电路仿真验证流程中的重要支撑技术.覆盖率驱动的随机测试生成方法是目前该领域研究的热点.遗传算法具有部分优化问题的黑盒特性,不需要了解问题的太多先验知识,适合处理黑盒优化问题.因此,将遗传算法应用在覆盖率反馈驱动随机测试生成时,不需要复杂的领域先验知识,节约了大量的专家时间,提高了验证的自动化程度.分析了各种基于遗传算法的覆盖率驱动的随机测试生成方法,并在此基础上设计和实现了基于遗传算法的全芯片级覆盖率驱动随机验证平台.该平台被实际应用在龙芯处理器的验证中,实验结果表明,平台有效提高了验证效率.     

基于 SOLIDWORKS 与 ADAMS 的瓦楞辊动力学仿真

运用 SOLIDWORKS 优秀的建模功能和 ADAMS 的动力学仿真功能,对瓦楞辊运动过程进行了建模仿真。利用 ADAMS 中的 IMPACT 函数对辊齿间的接触进行定义,通过 Hertz 弹性碰撞理论确定了 IMPACT 函数中的各参数。 从仿真结果中得出了瓦楞辊运动啮合时中心距的变化曲线,从而分析了瓦楞辊的运动过程对瓦楞纸芯成形质量产生的影响。     

基于Matlab 与Adams 的瓦楞辊辊齿优化设计分析

以瓦楞辊的运动特性建立了数学模型,以上下辊齿啮合过程中中心距变动方程为目标函数,以辊齿的参数(r1 ,r2 ,R1 ,R2 )为设计变量,运用Matlab 优化工具箱进行了优化,得出了满足纸芯成形的最优齿形参数。并利用Adams 进行了运动学仿真,验证了优化后参数的合理性,为进一步研究瓦楞辊的动力学分析提供数据支持。     

嵌入式Linux系统BSP的设计与实现

本文介绍了嵌入式系统的BSP及其作用，以基于PXA250的嵌入式Linux系统为开发环境，详细阐述了不同开发阶段BSP的设计与实现。