提高SoC硬件系统验证效率方法的综述(英文)

随着片上系统(SoC)设计复杂度的增加,芯片设计和验证之间的差距逐渐拉大。如何提高验证效率成了集成电路业面临的一个巨大挑战。该文回顾了近年来面向这一挑战的国内外研究工作,提出了一个新的验证范例——边设计边验证。该方法结合结构化设计和递归式验证,用于缓解验证的负担。同时,还提出了实现该方法的基本要素,用于指导未来的研究。     

高校实验教学的改革与思考

高等教育体制改革加大了实验教学的比重,本文阐述了传统验证性实验存在的不足,分析了综合性、设计性实验的特点,提出了实验教学应加大基础训练,改善实验条件,大力开发综合性、设计性实验等具体的改革构想。     

SOC芯片的Top-Down设计方法

基于单芯片系统是电子技术发展的主流,可改变传统的系统软、硬件设计方法,介绍了单芯片系统的支撑技术棗自顶向下设计方法的思想,讨论了其相关的信号处理系统设计自动化和软/硬件协同验证技术。结合GPRS终端数字基带处理器芯片设计,说明这一方法在单芯片设计中的应用。     

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

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

会计实验教学与学生综合分析能力的培养

会计实验分为验证性实验、设计性实验和综合性实验三大类型.而财务会计平时所开的实验课,大部分是验证性实验,少量的是设计性实验,很少开设综合性实验.结合学生课程的学习,尝试了综合性实验课的开设,对培养学生财务综合分析能力成效显著.     

SoC片上五种总线标准的分析比较

随着SoC（片上系统）的快速发展，高速片上数据传输对片上总线的要求越来越高。文章在分析当前设计中常用的几种SoC片上总线标准（ARM的AMBA总线、Silicore的Wishbone总线、IBM公司的CoreConnect总线、Altera的Avalon总线和OCP-IP设计的OCP总线）的基础上，对它们的综合应用和性能进行了分析比较。     

基于身份的强指定验证者签名的安全分析

针对基于身份的强指定验证者签名方案是不可授权的结论和基于身份的指定验证者代理签名方案设计,对两个方案进行安全性分析,首先证明了基于身份的指定验证者方案的签名是可授权的,然后证明了基于身份的指定验证者代理签名方案的签名是可伪造的,说明基于身份的强指定验证者签名方案的结论是不安全的;而基于身份的指定验证者代理签名方案的设计是不合理的。     

我国银行业技术风险评级体系研究

URSIT是目前全球最具权威性的银行技术风险评级体系。技术风险是商业银行信息化建设过程中所衍生的一种风险，与银行业传统风险一起降低了银行业的运行绩效，因此，技术风险控制将逐渐上升为银行业风险控制的一个重要内容。技术风险评级体系的设计是银行业实施技术风险控制的基础性平台，我国银行业技术风险评级体系的设计一方面要借鉴于URSIT的评级标准，另一方面要密切结合我国银行业技术风险控制的现实性实践活动。验证性因子分析可以对理论体系的可靠性和有效性提供经验性解析，并揭示我国银行业信息技术风险控制中存在的若干现实性问题。     

可视化UML模型验证环境研究

针对非形式化的描述可能导致的不明确和不一致问题,提出并设计实现了一种基于OCL的、能对UML模型中类之间的关联及约束进行分析与验证的OUVE,使得在编写代码之前就能很好地验证类之间的关联关系,以及约束条件是否与实际的要求相符合,降低了由于不明确和不一致导致的设计、编程的错误以及所要付出的修改代价。     

固定阶L1控制器的设计研究

给出了一类固定阶次优化问题的解,以及次优化L1控制器的设计.设计算例验证了方法的有效性.     

基于遗传算法的无人机航路规划与建模仿真

依据无人机设计需求,建立了威胁源模型、无人机飞行动力学模型、导航模型和航路规划模型。航路规划采用遗传算法,遗传算法编码方案使用＂距离、转角＂方案。通过Matlab/Simlink进行仿真验证,证明了规划航路符合无人机动力学特性。     

住宅设计中厨房设计浅析

随着社会经济的发展、科学技术的进步，人们生活水平不断提高。作为人类生存基本需求之一的住宅，已逐步从解困、安居型向小康型、舒适型转变，住宅的设计理念突出“人性化”、“以人为本”。作为住宅中使用最频繁、家务劳动最集中的厨房，其设计应更多地考虑实用、安全和卫生，设计合理的厨房成为人们选择住宅的重要标准之一。     

证实与验证--证伪主义的合理性分析

逻辑实证主义者坚持经验证实原则.把可证实性作为分界标准,认为只有能被经验证实的命题才是有意义的命题.然而.波普反对"证实".提出"验证".把"验证度"与"证伪度"作为评价理论进步与否的标准.波普的"验证"思想是思维方式的深刻变革.他提出一种科学理论进步的模式,并与后现代主义有相似之处,是有其现代意义和价值的.     

自己“攒”个水族箱

水族箱之所以受到人们的喜爱，因其色彩缤纷的鱼类和造型奇异的景观成为最活跃生命力的写照。如果您亲自动手设计制作一个美妙的水族箱，更可尽享无穷乐趣。     

设计形态的架构研究

设计形态的架构最具基础性、实践性与现实价值.其可分解表述为设计“形”与设计“态”,设计“形”与“态”架构的服务、表述对象是设计.因此,设计形态架构解决的关键问题是如何“成形”与怎样“塑态”,并使二者协调、统一于设计活动之中.而认知与厘清何为设计的“形”与“态”,便成为解决问题的基础与前提.作为设计造物活动的主要表现形式,设计形态的架构是一项复杂的系统工作,来自设计者、设计物、用户与环境等内部与外部的各种因素均是其复杂性、系统性的构成要素.     

基于顶层设计理论的高校旅游管理专业课程知识体系的构建

课程设置是教学计划的核心,课程体系的完善、合理与否,在根本上决定着学校的教学内容和学生的知识结构,决定了人才的培养质量。伴随着旅游业的迅猛发展,我国旅游教育也取得了巨大的成就,为本行业输送了大量的优秀人才。与此同时,我们也看到,与那些相对成熟的专业相比,旅游管理专业起步较晚,在课程体系设置方面仍然存在很多的不足。"顶层设计"是当今世界最先进最时髦的设计方式,无论最成功之建筑,还是最庞大之工程,抑或最伟大之社会发展事业,无不采用"顶层设计"。自中央在十七届五中全会提出改革要"顶层设计"以来,"顶层设计"就成为流行中国的一个热词。"顶层设计"理论,对我国目前旅游管理专业课程体系核心目标构建、框架设计、"三级系统管理"同样具有指导意义,为旅游管理专业课程知识体系的构建提供了参考。     

改革微机原理实验教学培养学生的工程设计能力

微机原理是一个实践性、应用性很强的课程,实验教学在整个教学过程中尤其重要.在传统的实验教学中,习惯跟着教师的指导或按实验指导书走,进行验证性实验,验证多,创新少,无法发挥学生的想象力和主观能动性创新性少.为此,探讨了该课程的实验教学改革的途径,在微机原理的实验教学、考核方法、实验室管理等方面进行了改革.改变了单纯的"验证实验",采用"验证+创新"的方法,以综合设计性实验为主.从而提高学生的综合实验能力和开拓创新意识.     

经管专业计算机应用实验教学体系研究

目前经管专业计算机应用实验教学主要以验证性实验为主,实验教学只是课堂理论教学的一个辅助环节。为适应信息化要求,以课程群为基础设计的实验教学体系从验证性、综合性和创新性三个层次的实验设计入手,强调在课程群中统一实验目标,集中规划;在各门课程认知实验基础上,强调专业知识的集成和学科综合,启发学生在课程群环境中通过演练式学习主动分析和研究企业仿真环境,发现问题,创新思维。     

云存储中基于SBT的数据完整性验证机制

云存储中数据完整性验证的主要思想是利用树形或类树形数据结构来存储用户外包的数据,并将该数据结构与适当的密码学技术结合使其具备可认证性,即认证字典。该文将基于结点大小平衡树(size balanced tree,SBT)结构来构建认证字典,并在该认证字典基础上设计出数据完整性验证方案。基于SBT结构的数据完整性验证方案能更好地支持动态数据集的完整性验证,避免了数据更新引起的周期性重构。实验结果表明,相对于基于AVL树、Treap的认证结构,基于SBT结构的认证字典具备更好的平衡性和更高的数据操作效率。     

基于图形网格转译的城轨列车外观设计研究

随着区域经济和城市群的发展，城市轨道交通已逐步成为城市建设重点领域，其外观设计也成为城市文化传播的重要途径，因此对打造蕴含城市文化特色的列车外观进行研究十分有必要。通过以“网格设计”概念引出网格形态设计方法为理论基础，以在蓉城收集的城市文化在列车上的应用形式为实证基础，并充分考虑蓉城文化形象的识别性、传播性，分析城市文化运用于列车外观设计的三个层次，探索将网格形态设计方法引入城市列车外观造型设计的可行性，归纳出可循规律的设计程序，并应用该方法提出蓉城列车的创新设计方案，验证出网格形态设计不仅可以创新城市列车外观设计，通过城市轨道交通展现城市文化内涵，也有助于增强当地乘客的文化自信和归属感。