SOC的形式化验证方法

如何对片上系统(SOC)来进行验证,是一个比较复杂的问题。本文介绍了用形式化方法来验证SOC,讨论在对SOC进行等价性验证时应注意的几个问题以及解决的方法。最后给出了对SOC验证的一般方法。     

一种基于覆盖率的功能验证方法

针对功能验证的特点,在传统功能验证的基础上,引入覆盖率作为验证程度的反馈信息,从而有针对性地完善了验证环境,提高了验证程度.并以一款8位MCU为例,介绍了基于覆盖率的功能验证方法的具体实现.     

SoC自动化验证方法的研究与实现

为解决SoC（System-on-Chip）验证覆盖率和工作量问题,基于可重用思想、采用事务验证模型、随机激励生成的方法,建立了一个层次化的具有自主知识产权的自动化功能验证系统（LSAVS：LiShan Automatic Verification System）。采用该验证系统后,SoC验证工程师开发测试向量的工作量由使用传统验证方法的60%降低到10%,同时保证了功能验证100%的覆盖率,达到快速高覆盖率的验证目的。     

系统芯片的混合验证方法

阐述系统芯片 (SOC)的设计验证特点。综述目前流行的验证方法 ,指出所存在的问题。论述了形式化验证方法和半形式化验证方法的发展状况及新的发展方向和趋势     

基于IP的系统设计方法和实例

介绍了基于IP（Intellectual Property）的片上系统设计技术的成功实例,通过使用具有自主版权的与8031兼容的IP软核和8155IP软核对某型飞控系统进行了集成。分析了在系统构建、系统仿真、系统综合和对IP的裁剪过程中应用IP的方法和影响,并给出了综合后的性能指标,IP的可重用性和可裁剪性极大地缩短了设计时间,证明了应用IP是一种有效的提高设计效率的手段。     

系统仿真模型精度的分析与验证

模型精度对仿真置信度有决定性的影响。本文综合分析了影响仿真精度的各种因素,给出了仿真模型精度验证的策略、标准、验证方案、验证技术及方法选择,重点介绍、采用了优化时间历程匹配方法,结合飞行器仿真进行模型的验证计算。结果表明,这是一种行之有效的方法。它对提高仿真模型检验置信度等级与后续模型修正提供了新思路。     

虚拟坐标测量机的体系结构及功能模型

从现代制造技术的发展和特点出发,分析了当今坐标测量设计和使用中存在的一些问题,提出了发展虚拟坐标测量机的必要性。文章给出了虚拟坐标测量机的定义,并描述了其主要特征,揭示了其作为在计算机环境下构造的用坐标测量机快速设计和运行过程三维仿真的现代工程软件的内涵。     

基于虚拟DCS的激励式火电机组仿真系统

简要介绍了火电机组仿真技术的发展,分析了基于虚拟DCS的激励式仿真系统的结构组成、系统特点以及目前的应用情况,与传统仿真系统相比,该系统具有结构优、功能全的特点,更适合推广.     

仿真模型验证方法与程序设计

仿真模型验证是建模和仿真的一个重要方面.对现有的模型验证方法进行了分析比较,并选择其中的性能指标关联分析和频谱估计方法,包括TIC不等式系数法、灰色关联分析法、直接频谱法、基于Burg算法的最大熵谱估计法和基于Marple算法的最大熵谱估计法这几种典型的模型验证方法,用C语言进行编程和设计.并通过实例说明了各种不同模型验证方法的验模过程.结果证明了程序的可行性,同时也表明了验证模型时最好综合采用多种方法.     

基于场景的并发系统需求验证方法研究

为验证并发系统需求设计的正确性,提出一种基于场景的并发系统需求验证方法.首先,用UML顺序图建模并发系统需求场景,通过定义顺序图的操作语义及转换规则,将顺序图的XML描述文件自动转换为Promela程序,而后将描述系统需求的Promela程序和描述系统规约的线性时序逻辑作为模型检测器SPIN的输入,用模型检测的方法自动...     

基于SVM的离线签名认证

生物特征识别技术作为一种身份识别的手段,具有独特的优势,近年来已逐渐成为国际上的研究热点．签名认证属于生物特征识别技术的一种,已经在国内外各个领域应用数十年,被人们广泛接受．对现有的离线签名认证方法进行了改进和创新,提出了四种特征,包括方向特征、纹理特征、动态特征和复杂指数．认证阶段采用支持向量机来鉴定签名的真伪,所取得的最好实验结果是平均错误率达到了5．4％,和目前国内外离线签名认证的相关实验结果相比,说明了本实验算法的有效性．     

椭圆曲线上的链式验证签名

基于椭圆曲线密码算法,提出了一种新的链式验证签名方案,只有经过链式验证授权组中的成员P1、P2、...、Pn-1的一一授权之后,签名验证者Pn才能验证签名的有效性。分析了所给签名方案的安全性和效率。除了具有链式验证签名的一般特性外,还可以方便地增加或删除链式验证授权者,并在链式验证授权者或签名验证者泄漏子秘密时,可以及时地进行维护。     

基于模式的SOC设计方法研究

在分析传统系统芯片SOC(片上系统)设计方法的基础之上,为了提高设计生产率和降低设计复杂度,强调高层次的抽象和重用,提出了基于模式的SOC设计方法(PBSOC),在系统级建立面向对象的设计模式库和IP复用库.针对SOC设计模式的最后目标,讨论了SOC设计分析中软件设计模式的可复用性及新的SOC设计模式的可发掘性,并以具体的实例改造现有的软件设计模式和构筑新的SOC设计模式,说明了面向对象方法在SOC设计流程中的使用.     

一种基于验证帧和验证块的帧率上转换算法

本文对帧率上转换进行研究。虽然目前针对帧率上转换问题存在多种算法,但都没有充分利用已知帧和已知块等图像信息对插入块的运动矢量进行估计。本文算法为了解决了帧率提升中因虚假时间对称性产生的错误运动估计的问题,减少块效应,提出了一种基于验证帧和验证块的双向运动估计算法,该算法首先对待插块进行双向运动估计,然后通过验证帧和验证块对运动估计的结果进行验证,得到较准确运动估计,最后对运动矢量进行平滑,并进行自适应重叠块运动补偿得到内插帧。标准测试序列的实验结果表明,本算法与已存算法相比,图像质量在主观和客观方面都有所提高。     

基于功能-原理-结构的产品模块划分方法

分析了功能-原理-结构的产品设计过程模型,研究了基于功能、原理、结构的零部件之间的相关性及量化方法。在结构相关性的研究中,提出了基于装配关系的零部件之间结构相关性及量化方法;构建了功能、原理、结构子相关矩阵,将子相关矩阵加权和生成综合相关矩阵;依据综合相关矩阵,以平均关联度为阈值,给出基于聚类分析的产品模块划分方法和步骤,实现基于功能-原理-结构的产品模块的划分。最后以减速箱为例,验证该模块划分方法的有效性。     

基于字符型验证码破解算法研究

验证码主要用于人机区分,在人机交互领域具有广泛的应用前景.对验证码破解算法的研究,可以实现验证码自动识别显示,使网络信息录入更加方便快捷;同时也可以防止验证码被暴力破解,减少验证码的生成漏洞.本文简要介绍了基于人工神经网络的字符识别方法,分析了验证码破解过程,对基于数字图像处理的相关算法和基本的验证码分割算法进行了分析,并提出了基于上下连通域字符分割法,提高了验证码破解的准确率和效率.     

一种基于小波变换的二级签名认证方法

介绍了一种利用离散小波变换提取特征的二级签名认证方法.第一级认证基于签名的坐标曲线,第二级认证基于签名灰度图像的直方图,分别获得有关签名曲线和签名图像的小波特征.严格限制第一级认证的错误率,使得第一级认证成功后不再使用第二级认证;否则,将使用第二级认证.实验结果表明,与每次认证都使用两级的认证模式相比,该模式可以有效地缩短签名认证的平均时间.     

基于PLC的压力表检定系统

以微机及PLC等为硬件,利用现代组态软件为软件操作环境,设计了压力表自动检定系统.系统根据国家相关规程的要求,由微机控制造压和升压,检定人员通过微机随意设定压力检测点及各种参数值,系统通过PLC收集压力表及标准压力表的示值,同时可以检定多块压力表.微机自动计算示值误差、回程误差和轻敲位移等,与预存的一览表数据进行比较,自动判断压力表是否合格,可以打印检定证书.系统实现了压力表全程检定自动化.     

基于响应面方法的结构耐撞性优化

为了提高结构耐撞性优化的求解效率,采用响应面方法将结构碰撞的响应表示为设计变量的显式函数,构造了2种优化模型.一种是将刚体加速度和侵入变形分别拟合为椭圆和线性响应面;另一种是将刚体加速度和侵入变形均拟合为椭圆响应面.用IS-dyna软件为结构碰撞分析的求解器,采用Matlab优化工具箱进行优化模型的求解,实现了结构耐撞性优化程序.数值算例表明,基于响应面方法的2种优化模型都能高效地解决结构耐撞性优化问题.     

图像分形法研究多孔骨支架微观形态

为了研究多孔材料微观形态特征:孔隙率、渗透率的数学模型,为进一步研究数值仿真提供基础数学模型;采用分形数学和图形图像处理技术深入开展多孔材料分形维数研究,通过分形维数推导出多孔材料孔隙率φ,渗透率K的数学表达式;通过对6种羟基磷灰石骨支架微观形态的研究,得到6种骨支架的孔隙率、渗透率;通过与密度法得出的孔隙率对比研究,表明图形图像法得到的孔隙率数学模型行之有效,同时能从理论上计算出孔隙率和渗透率,简化了测量实验方法以及为多孔材料的数值分析奠定数学模型基础.