情绪图库验证系统的设计与实现

情绪图库验证系统是一套用于情绪图库准确性检测、拥有独立功能的图片评分系统,是情绪图库构建中不可或缺的一部分。在情绪图库构建时,传统线下验证方式存在效率低、实施难度大的问题,因此有必要采用线上系统来完成实验。本文利用分布式部署方案,采用数据库主从架构,实现了一套拥有完整业务逻辑的情绪图库线上验证系统。该系统具备用户登录、图片评分、完成度实时检测等功能,支持多用户在线操作。此外,系统允许用户以不同身份参与实验,简化用户操作的同时,也减轻了相关研究人员的操作难度,并且在高并发场景下性能良好。

数字专用集成电路设计中的SystemC建模验证方法

针对当前数字专用集成电路设计中的验证瓶颈,提出了一种基于SystemC电路行为建模与测试控制技术的专用集成电路验证方法,并应用到网络调度芯片的具体验证实验中.实验数据表明:由于采用软件建模与控制技术,该方法在缩短验证周期、提高验证可靠性、精确判断验证程度以及有效集成各类验证环境等方面均明显优于传统RTL验证方法.

集成ISS的SystemC内核的协同验证环境设计

文章通过对Summit设计公司的VisualEliteESC中使用的多语言协同验证工具V-CPU的分析,介绍了传统的协同验证方法的构造思想。在此基础上,应用SystemC建模语言作为统一的硬软件建模工具,通过GDB调试工具,设计了集成ISS的SystemC内核的协同验证环境的构造方法。

农村经济发展与化肥使用量的库兹涅茨曲线假说及验证

文章主要研究农村经济发展与化肥使用量之间的关系,提出两者之间的库兹涅茨曲线假说。通过构建农户选择行为模型,从理论上对两者存在库兹涅茨曲线关系给出微观解释。在此基础上,采用1978—2008年的时间序列数据进行了实证检验,结果表明:农村经济发展与化肥使用量之间存在库兹涅茨曲线关系,转折点发生在农村人均农业总产值为547.67元(1978年不变价)的时点,即与国家统计局统计数据比较,转折点发生在2008年。

基于SystemC描述的嵌入式系统的自动化验证

基于SystemC的嵌入式系统描述 ,提出了一种全新的自动化验证方法 .该方法采用面向方面编程技术、分离和封装测试代码 ,结合自动化测试框架 ,完成对系统的自动化验证 .此验证方法对被测系统无扰动 ,能适应测试要求的灵活变化 ,对嵌入式系统模型可自动、重复地测试 ,能够满足系统级模型快速验证和评估的要求 .

OVL断言验证库的ARINC429通讯板卡设计验证

针对由设计复杂程度不断增加造成的功能验证困难的问题,提出了OVL在ARINC429通讯板卡设计验证中的使用方法。介绍了断言开放式验证库OVL及OVL断言监视器的结构、功能、分类及参数,在此基础上设计了符合航空运输工业标准的ARINC429通讯板卡,并提出了一种新的对ARINC429通讯板卡设计时序的验证方法。实验结果表明了OVL断言验证方法在设计验证中的可行性,降低了设计验证的复杂度,增加了验证覆盖率,提高了验证效率。

基于验证库的微处理器指令集验证方法

指令集作为微处理器软件和硬件的分界线在计算机体系结构中占有重要地位。测试程序自动生成(RTPG)是微处理器指令集验证的主要方法之一。该文比较目前主流的RTPG技术和验证策略,提出基于验证库的随机测试程序生成工具。使用通用脚本语言开发验证库和测试程序模板,针对不同验证阶段生成高质量的测试程序。测试结果表明,该方法实现简单,能达到较好的验证效果。

一种标准单元库的自动仿真验证方法

提出了一种针对标准单元库中单元逻辑功能进行自动仿真验证的方法,验证了55nm标准单元库中单元逻辑功能的正确性。该方法能自动提取设计文档中的单元逻辑,根据提取结果中输入端的数量自动生成测试向量,并以此测试向量生成参考逻辑值,整个过程只需0.708μs。采用仿真工具对标准单元库文件进行仿真,将得到的仿真值自动与参考值对比,验证了库单元逻辑的正确性,提高了标准单元库功能验证的效率。

SoC中基于OCP-SystemC的虚部件库设计研究

在传统的软硬件协同设计中,硬件采用的是RTL描述(用硬件描述语言HDL描述),而软件通常采用C或者C++语言进行描述,这种语言描述的不一致会加大协同验证仿真的难度,从而导致系统设计过程的反复。文章提出了一种基于OCP-SystemC的虚部件库设计方法,将其应用在设计实现的SOC-CDE软硬件协同设计环境中。在虚部件库设计中,使用SystemC来描述虚部件的功能(行为),同时采用OCP协议对虚部件进行接口和性能方面的封装,以满足利用软硬件划分的结果所构建的虚部件级SoC系统仿真与评价的需要。

城乡居民收入差距的库兹涅茨曲线验证——以甘肃省为例

收入差距问题一直是我国经济发展进程中关注的话题,目前甘肃省城乡居民收入分配差距正在进一步扩大,已经成为各区域构建和谐社会所面临的重大问题。文章以库兹涅茨倒"U"型曲线理论为基础,采用城乡收入差距的基尼系数、城乡居民收入比和泰尔指数这3个指标,结合甘肃省城乡收入差距的现状及演变,分析各指标的变动趋势,并对趋势进行库兹涅茨曲线的验证分析,认为甘肃省城乡收入差距的演变符合库兹涅茨曲线倒"U"型假说。

基于SystemC和ISS的软硬件协同验证方法

随着SoC的出现和发展,软硬件协同验证已经成为当前的研究热点。本文对传统的基于ISS的软硬件协同验证方法进行改进,提出了一种基于SystemC和ISS的软硬件协同验证方法。该方法使用SystemC分别对系统进行事务级、寄存器传输级的建模,在系统验证早期进行无时序的软硬件协同验证,后期进行时钟精确的软硬件协同验证,并对仿真速度进行了优化。同传统的基于ISS的软硬件协同验证方法相比,该方法保证了软硬件的并行开发,且仿真速度快、调试方便,是一种高效、高重用性的软硬件协同验证方法。

教学资源库建设中的唯一性验证方法研究

教学资源建设过程中存在着大量的重复资源,通过上传资源的唯一性验证可以节约很多宝贵的存储空间。唯一性验证算法要求具有单向性、抗冲突性以及映射分布均匀性等特点,而且易于计算机实现。本文通过对MD5算法的分析,证明可用于资源库建设中的资源唯一性验证,同时也给出了算法的实现过程和关键代码。

使用SystemC进行基于事务的验证

分析了使用SystemC的基于事务的验证方法。它应用于一个具体项目的开发,并与传统的验证方法作了对比,证明它在验证效率和验证环境设计效率上均有明显优势。

0.25μm宏单元库的验证

本文针对0.25μm宏单元库的的参数要求,设计对宏单元库中的标准单元(组合逻辑单元、时序逻辑单元)、I/O 单元以及 SRAM 单元的功能逻辑和性能参数的验证方案。

基于规则库的电信业务UML活动图验证机制

在分析现有的技术背景后,提出了一种基于规则库的电信业务统一建模语言(UML)活动图验证机制.通过将模型验证规则与模型验证引擎相分离的方式,提高了验证机制的可扩展性和灵活性.模型验证软件通过在模型驱动架构(MDA)业务平台中的测试,证明了该验证机制的正确性和高效性.

基于SystemC参考模型的UVM验证平台设计

随着集成电路设计复杂度的不断提高,作为芯片开发周期中重要一环的芯片验证已经出现了逐渐乏力的趋势,传统的验证主要使用直接测试的方法,验证工程师们需要编写大量定向测试用例来满足验证的需求,这个过程既费时又费力,因此需要寻找新的验证方法来加快验证速度,提高验证效率。基于SystemC语言具有的强大的高层次建模能力以及UVM验证方法学具有的激励随机化、复用性高、以覆盖率为导向等诸多优势,结合SystemC语言和UVM验证方法学来搭建验证平台。使用基于SystemVerilog语言的UVM验证方法学搭建验证环境,并将SystemC语言编写的模型作为参考模型接进UVM验证平台,对超高频射频识别数字基带处理单元中读写器发送链路进行验证,统计覆盖率。结果表明,代码覆盖率和功能覆盖率均达到100%,满足了芯片验证要求,相比于传统验证方法有效地缩短了验证时间,提高了验证效率。

农业面源污染的环境库兹涅茨拟合曲线验证与分析——以中国西北地区某省为例

为了更加全面地了解中国西北地区某省的农业面源污染特征,选取化肥施用强度、农药施用强度、农膜使用密度、畜禽养殖化学污染物排泄总量、农村居民年生活垃圾量作为农业面源污染的主要评测指标,结合第一次全国污染源普查数据,根据统计年鉴基础数据资料核算出五类农业面源污染指标,对人均农林牧渔产值与农业面源污染的环境库兹涅茨拟合曲线(EKC)进行关系验证。结果表明:研究时段内,该地区农业面源污染整体上呈逐年上升趋势。从农业面源污染与人均农林牧渔产值的EKC拟合曲线检验可以看出,化肥施用强度、农膜使用密度与人均农林牧渔业产值呈较为显著的倒“U”型关系;畜禽养殖化学污染物排泄总量与人均农林牧渔产值之间呈正“N”型关系;而农药施用强度、农村居民年生活垃圾总量与人均农林牧渔业产值呈线性上升关系,不符合库兹涅茨曲线。结合实证分析结果,提出有益于改善农业面源污染状况,提高农业经济增长,促进农业环境保护协调绿色发展的建议与措施。