一种基于SystemC的D触发器验证平台研究

当今复杂电子系统更倾向于在更高抽象级进行建模一种基于C/C＋＋的硬件描述语言,SystemC语言变得非常重要,在此介绍了SystemC语言的验证库,以及验证库的顶层设计,接口设计。文章在最后的阶段对D触发器进行了基于SystemC的验证平台搭建,进而展现了SystemC在验证上的优势。     

一种基于Open Vera实现的L2 cache验证平台

随着设计复杂度的不断增加和设计规模的不断增大,传统的验证工具已难以适应当前功能验证的要求.Vera为验证增添了强大的语言能力.使用Vera建立验证平台,它独有的特性能够隐藏设计中的复杂性,从而使testbench的编写更见简洁.通过使用动态的激励驱动,实现了实际工作中的状态和全部极端的条件,从而发现设计中存在的瑕疵.使用Open Vera验证语言构建了"龙腾R2"L2cache验证平台,成功完成了"龙腾R2"的验证工作.     

基于双目视觉的医疗机器人摆位系统测量方法

为了实现精确放疗过程中精确定位和肿瘤位置的精确测量,建立了基于双目视觉的医疗机器人摆位测量系统,并对系统所采用的摄像机标定方法、标记点识别及其三维坐标计算、摆位系统的位置验证等算法进行研究。建立基于双目视觉的医疗机器人摆位测量系统;提出了一种对摄像机采用基于平面棋盘格和立体标定模板相结合的摄像机标定新方法;采用Roberts梯度算子对图像分割的方法,识别标记点中心并计算其三维坐标;通过比较基于双目视觉计算和三维坐标测量仪器测量的各个标记点三维坐标的摆位误差,实现放疗过程中位置验证和精确摆位。实验结果表明:摄像机的标定精度为36.5×10-3 mm和各个标记点的三维坐标平均偏差为δX=0.573mm、δY=0.495mm、δZ=0.430mm,测量方法可获得较高的标定精度和摆位精度,能满足精确放疗对高精度摆位系统的临床需求。     

救生机器人推进器的3维反问题设计与性能校验

针对水上救生机器人难以实现快速稳定航行的问题,采用3维反问题设计理论对机器人推进器进行几何设计并对相关参数进行匹配,在合理假设条件下,将喷水推进泵内的有旋流方程进行有效分解获得周向平均流动方程和周期性脉动流动方程。使用速度矩沿流线的分布来控制叶片的载荷,运用计算流体力学对所设计的喷水推进泵进行水力性能校验,结果表明：在毂径比较大等特定条件约束下,喷水推进泵的水力效率达到80.38%,并且在较宽的流量范围内保持高效,叶轮表面压力沿轴向分配合理,没有局部低压区,叶轮推力满足预期性能,验证了设计思路和参数配置的正确性。     

基于层次Bayesian网络及后验风险准则的故障样本量确定方法

针对现有测试性验证方法对装备系统结构考虑不足,且在双方风险约束条件下所确定的故障样本量过大问题,提出一种基于层次Bayesian网络和后验风险准则的故障样本量确定方法。根据装备系统结构建立测试性验证方法的层次Bayesian网络模型,并以故障检测率作为Bayesian网络 的传递参数;提出Bayesian网络不确定性推理算法,充分融合各层次测试性先验信息,同时基于偏度-峰度检验的拟合分布选取方法推导出系统故障检测率联合先验分布;进一步结合系统成败型数据确定其后验分布,基于后验样本数据集和Bayes后验风险准则设计故障样本量确定算法,通过实例进行分析。结果表明,与经典验证方法、传统Bayesian方法相比,所提方法在相同双方指标约束下能有效降低样本量。     

A New Signature Scheme with Shared Verification

1Introduction Withthedevelopmentofcomputerandnetworkcom municationtechnology,andwiththedifferenceofuser s demands,digitalsignaturetechniquesarebeingexpand edgreatly,fromthesinglesignature,singleverification modetothemulti user sone.Forexample,adocument sy…     

一种新的基于SRAM的快速综合技术

对静态随机存储器(SRAM)全定制设计过程中的版图设计工作量大、重复性强的问题进行了分析,并在此基础上提出了一种新的应用于SRAM设计的快速综合技术。这种技术充分利用SRAM电路重复单元多的特点,在设计过程中尽可能把电路版图的硬件设计转换为使用软件来实现,节省了大量的版图设计和验证的时间,从而提高了工作效率。这种技术在龙芯Ⅱ号CPU的SRAM设计中得到了应用;芯片采用的是中芯国际0.18μm CM O S工艺。流片验证表明,该技术对于大容量的SRAM设计是较为准确而且有效的。     

4G载波向5G重耕之前的5G业务覆盖能力研究

为了满足低成本建设5G广覆盖网络的需求,需要提前研究低频3G、4G网络向5G重耕的最佳方案。在没有进行重耕,因而没有理想的低频5G测试环境的情况下,采用理论分析的手段进行重耕后的覆盖能力估算。以未来L900重耕用于5G广覆盖为例,探讨了链路预算的关键设定、模型选择等问题,并通过多个本地网实际测试数据间接验证估算结果的合理性。所得结论已实际应用于某大运营商对全国900 MHz网络的规划方案,对于指导网络重耕具有重要的借鉴意义,也为面向覆盖和感知的6G网络演进及重耕提供了参考模型。     

对SoC芯片全面验证的仿真结构的研究

研究构成仿真环境的策略及软硬件协同验证环境的接口实现,介绍了用于功能和性能验证的软件伪随机测试生成方法.该方法对SoC和复杂的板机系统进行可测性设计的优化验证,大大降低测试成本,缩短了系统开发周期.     

基于MFFAKF的微惯导磁匹配粗对准方法

针对微机电系统(MEMS)陀螺仪精度低,无法完成惯导系统方位对准的问题,该文提出一种采用加速度计与磁强计输出完成MEMS惯导系统粗对准法。同时针对遗忘卡尔曼滤波法的缺点,提出将一种多遗忘因子自适应卡尔曼滤波法(MFFAKF)引入系统的对准方案中。该方法通过基于指数渐消记忆的方式计算量测噪声方差阵,并采用多遗忘因子调节不同的滤波通道。实验结果表明,采用MFFAKF得到的粗对准航向角精度满足MEMS惯导系统粗对准要求。