参数分簇层次化片上网络拓扑结构

多核系统集成度不断增加,造成片上网络的延迟和吞吐性能迅速下降。提出基于参数分簇的层次化片上网络结构,设计3类基本分簇作为单元模块,搭建不同节点规模下的层次化结构。实验结果表明,在局部化流量模式下,文中结构比传统Mesh和Clustered Hierarchical Mesh在256节点时的延迟分别降低18.76%和17.31%,吞吐提升18.57%和12.97%,资源仅增加25%和10%。     

片上系统在动态测试领域的应用探讨

在实时动态测试领域中,测试系统微型化是一个重要的研究方向.片上系统技术的发展,为降低系统体积、功耗提供了有效的技术手段.本文利用该技术对微型测试系统进行了研究,对包括SoC(System on Chip)单片机、基于FPGA(Field Programmable Gate Array)的SoPC(Systems on a Programmable Chip),SIP(System-in-package),ASIC(Application Specific Integrated Circuits)等片上系统技术在动态测试领域中的应用进行了探讨.设计了SoC单片机及SoPC在动态测试中的应用方案,并进行了试验测试.结果表明,片上技术能更好地完成动态测试.     

数字电路的层次化测试生成新趋势

与传统的门级测试生成方法相比.数字电路的层次化测试生成方法采用层次化模块的方式,利用不同抽象级的电路信息,包括结构信息和功能信息,有利于加速测试生成,提高故障覆盖率.分析和综述了几类主要的层次化测试生成算法:预先生成低层模块测试法、模块在约束下直接生成全局测试法、高层模块动态展开法、高层软件测试与低层门级结构测试结合法等,并讨论今后有待解决的主要问题.     

分层式验证平台及覆盖率技术在SOC上的应用

本文介绍了应用RVM方法学搭建分层式验证平台,并阐述了基于RVM方法学的覆盖率驱动技术。这两种技术的应用帮助验证工程师提高验证效率并能确保验证的完备性。     

SOC的形式化验证方法

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

基于IEEE1500并行测试技术的研究

针对现代IP核测试需要更高的测试效率,提出一种基于1500标准的并行测试方法.通过对1500中的边界寄存器与指令寄存器的重新设计,使它支持标准中强制规定的串行测试和用户可自定义的并行测试.在以74LS245外壳设计为例,通过 QuartusII软件进行串并行的外测试仿真以及 PSpice软件进行串并行内测试仿真,其结果表明,并行接口测试比串行接口测试提高数倍的效率,而且选择的测试方案较多,用户可以选择较优的测试方案.     

对片上系统智能表的探讨

目前,电能表大多采用MCU（MicroControllerUnit）作为核心,需要外挂众多的功能模块,存在安全性、稳定性等隐患,难以满足现阶段智能电网对电能表的需求。基于片上系统的智能电表,将众多功能模块集成到片上,提高了智能电表的性能,缩短了开发周期。通过对基于德州仪器推出的MSP430F677xIEPU智能电表的设计,阐述了基于片上系统的智能电表的优势和应用前景。     

基于功能虚拟原型的验证方法

为解决片上系统验证和设计不能同步、系统级验证效率低下的问题,该文基于统一验证方法提出一种基于可演化模型的三级验证过程模型。该模型由系统级、行为级和RTL级三级功能虚拟原型演化模型构成,在不同设计阶段复用相同的系统级验证环境,可减少验证的重复工作,将其应用于设计的整个流程,可成功地实现验证和设计同步,提高验证效率。     

SoC软硬件协同技术的FPGA芯片测试新方法

针对传统的基于纯硬件平台的FPGA芯片测试方法所存在的种种问题,提出并验证了一种基于软硬件协同技术的FPGA芯片测试方法。该方法引入了软件的灵活性与可观测性等软件技术优势,具有存储深度大、可测I/O管脚数目多、自动完成配置下载(不需人工干预)和自动定位FPGA中的错误等优点,提高了FPGA的测试速度和可靠性,并降低了测试成本,与传统的自动测试仪(ATE)相比有较高的性价比。采用软硬件协同方式针对Xilinx 4010的I/O单元进行了测试,实现了对FPGA芯片的自动反复配置、测试和错误定位。     

支持多种流量分布的片上网络性能评估技术研究

首先给出了评估片上网络的性能指标定义及其理论计算公式;接着,通过建立空间上不同流量分布的统一模型和时间上分别符合泊松和自相似分布的流量注入机制,构造了片上网络的流量产生模型.最后,采用了分层逐级抽象的建模方法,搭建了适用于多种流量分布的片上网络性能评估平台,并结合一个具体的NoC实例验证了该平台的正确性.     

新型NC图形验证系统的方案设计

根据虚拟制造环境中NC图形验证的设计原则和功能分析,提出了新型复杂曲面NC验证系统的体系结构,并以分层数据流图的形式较为详尽地描述了系统内部数据的传递。该体系结构将几何验证与切削过程物理验证相结合,能够保证在此基础上构建的NC图形验证系统更加真实地反映复杂曲面数控铣削加工的实际情况,为工程技术人员提供更为准确的验证结果。     

新型NC图形验证系统的方案设计

根据虚拟制造环境中NC图形验证的设计原则和功能分析,提出了新型复杂曲面NC验证系统的体系结构,并以分层数据流图的形式较为详尽地描述了系统内部数据的传递。该体系结构将几何验证与切削过程物理验证相结合,能够保证在此基础上构建的NC图形验证系统更加真实地反映复杂曲面数控铣削加工的实际情况,为工程技术人员提供更为准确的验证结果。     

层次化行为可信性验证

为了缓解度量粒度细化引发的可用性降低, 基于并发理论提出层次化的行为可信性验证模型及方法.将面向行为的可信动态度量的可信性验证中对平台行为依时间序的顺次验证方式, 转化为基于一种层次化的预期行为描述的可信性验证, 相关定理保证了转化的等价性.效率分析结果表明, 层次化的验证方式提高了存储效率和验证效率, 能解决细粒度可信动态度量的可行性问题.     

能力验证活动和实验室试验与检测能力的评估

实验室试验与检测工作能力如何，将对实验室实现社会效益与经济效益，尤其对保证建筑工程质量都具有直接的影响，所以加强对实验室试验与检测能力的评估至关重要。目前，评价实验室检测能力的基本方法有两种：一是评审组按标准要求对实验室进行现场能力评估；二是通过能力验证来评价实验室的能力。二者结合，互相补充，以确保实验室试验与检测工作能力的维持与提高。     

一类大规模系统的三层递阶最优控制算法

对大系统的最优控制问题，应用空间和时间分解，提出一个新的三层递阶控制并行算法．用平行变量尺度法（ＰＶＭ）求解第三层的算法；在第二层子问题中，其约束要求某一个小子系统的初始状态等于前一个子系统的终止状态，协调变量用修正的牛顿方法校正；而低层更小子问题用推广微分动态规划（ＤＤＰ）并行求解．数值结果显示，与ＤＤＰ方法比较，ＰＶＭ／ＤＤＰ算法具有明显的加快速度．     

技术创新制度的层次性分析

根据不同制度安排在技术创新活动中的重要程度,我将技术创新的制度分为根本性制度、重大性制度和辅助性制度三个层次.根本性制度是指对技术创新起决定作用的制度,包括竞争性市场制度和激励产权制度.重大性制度是指对技术创新起重大促进作用的制度,包括股份公司制度、企业内部R&D制度与风险投资制度等.辅助性制度则是指那些对技术创新起促进作用要弱于前两者或者虽然作用较大但以非正式制度形式存在的制度.这种层次性分析有利于对技术创新的制度进行横向比较和动态分析.     

混成系统的形式验证

在介绍混成系统和形式验证基本概念的基础上,重点介绍了模型检验和定理证明这两种混成系统的形式验证方法,对模型检验方法给出了一个具体的可达性算法步骤与验证实例,对定理证明方法分析了其证明的过程与存在的困难。最后总结了混成系统研究的现状,存在的问题和进一步研究的方向。     

高层次数据通路的等价性验证方法

为了实现多项式数据通路的初始算术规范与其相应的寄存器传输级实现之间的等价性验证,提出了一个有序的、简化的和正则的带权值广义表模型表达字级多项式,同时给出了该模型的化简、加法和乘法运算规则,基于这些规则对寄存器传输级电路构建其相应有序的、简化的和正则的带权值广义表模型.实验结果表明,该模型对寄存器传输级电路的等价性验证与*BMD相比,不论是在存储空间还是在CPU时间花费上均有明显的优势.     

Petri net-based representation of rules and verification of consistency

0　ＩＮＴＲＯＤＵＣＴＩＯＮＴｈｅｒｕｌｅ ｂａｓｅｄｓｙｓｔｅｍ(ＲＢＳ)ｉｓａｎｅｘｐｅｒｔｓｙｓｔｅｍｉｎｗｉｄｅｕｓｅ ,ａｎｄｉｔｃａｎｒｅｐｒｅｓｅｎｔｔｈｅｄｏｍａｉｎｋｎｏｗｌｅｄｇｅｃｏｎ ｖｅｎｉｅｎｔｌｙａｎｄｍｏｄｉｆｙｔｈｅｒｕｌｅｓｉｎｔｈｅｋｎｏｗｌｅｄｇｅｂａｓｅｆｒｅｅｌｙ.Ｈｏｗｅｖｅｒ,ｄｉｆｆｉｃｕｌｔｉｅｓｅｘｐｅｒｉｅｎｃｅｄｕｒｉｎｇｔｈｅＲＢＳｄｅｖｅｌｏｐｍｅｎｔ,ｐａｒｔｉｃｕｌａｒｌｙｗｈｅｎａｃｑｕｉｒｉｎｇｋｎｏｗｌｅｄｇｅｆｒｏｍｈｕｍａｎｅｘｐ…     

电子政务系统安全域的划分与等级保护

从我国实施信息安全等级保护(以下简称等级保护)工作的背景与意义出发,对大型电子政务系统的安全域的划分与等级保护建设作了系统化地概述,并提出了安全域划分的方法和实施步骤,进而阐述了安全规划与方案设计的实施方法,为大型电子政务系统安全域划分与等级保护工作提供了一些有益的参考.