新思科技近日宣布与谷歌云合作,提供完整的端到端解决方案,实现在云上执行功能验证。越来越多的用户正在寻求利用云提供的硬件灵活性和可扩展性来满足峰值或突发仿真能力要求的解决方案,从而在可预测的时间内实现更高质量的验证。此次合作提供了经验证的可扩展解决方案,使基于新思科技VCS的仿真工作能够在谷歌云上运行。谷歌云Iaa S与Paa S合作总监Manvinder Singh表示:"除了帮助用户选择合适的工作站机型以确保资源的有效利用外,...
对墙体型震动入侵探测技术做了相关介绍,特别针对核电站实物保护系统的应用需求,分析了适用于核电应用场景的墙体型震动入侵探测技术,介绍了系统结构设计和功能验证。随着MEMS传感器的迅速发展,可以预见,该种技术会在核电站有效提升立体防护能力。
利用UVM通用验证方法学的高效性和可重用性,搭建层次化的模块级验证平台,创新地采用sequence级联方式,对CPRI接口的功能进行验证。验证分析表明,CPRI接口架构移植于UVM环境中,可以灵活地对各控制字段和IQ数据进行遍历,对代码覆盖率和功能覆盖率的提升有很大帮助,而且大幅提升了验证效率。
作者:杨飞; 蒋林 期刊:《信息技术与网络安全》 2011年第22期
讨论了分配问题匈牙利法在网络芯片功能验证中的应用,在建立了网络芯片模型的基础上提出验证需求,针对网络芯片验证的实际问题对匈牙利法进行了扩展和改进,提出了适应于分级流水芯片提高其功能验证效率的有效方式,改进后的匈牙利法具有更好的适用性。芯片验证结果证明了其可行性及其优越性。
作者:顾振华; 吴正茂; 李思海; 吴勇; 任斌斌 期刊:《科学技术创新》 2016年第14期
针对航空领域传统的功能验证方法验证效率低、完备性差等问题,本文介绍了基于System Verilog的先进的功能验证方法学,并且详细阐述了搭建验证平台的方法。最后以航空无线电管理面板的ARINC模块为例,搭建了分层验证平台,并给出了功能覆盖率结果。结果表明方法可用性与完备性,基于System Verilog的先进的功能验证方法学对于未来航空电子组件验证具有重要意义。
作者:陈红歌; 吴坤; 顾溯海; 胡元森; 贾新成; 董志扬; 金城 期刊:《农业生物技术学报》 2005年第03期
海藻糖是由两个葡萄糖残基经α,α-1,1糖苷键连接而成的非还原性二糖,大量实验表明,海藻糖不仅作为碳水化合物以储存能量,具有在冷冻、干燥、高渗透压等严酷环境中保护生物膜和蛋白质结构的功能,还可保护DNA免受放射引起的损伤(Yoshinaga ef al.,1 997).海藻糖的这一独持性质可望用于干燥冷冻食品、药品和酶的稳定剂以及化妆品的保护剂等.
作者:Rangarajan(Sri)Purisai 期刊:《电子设计应用》 2005年第05期
众所周知,功能验证在芯片的整个设计周期中占用的时间最多.尽管目前有许多技术可用于减少验证时间,但最终应当如何选择?答案并不简单明了,而且经常令人迷惑并要付出高昂的代价.
作者:蔡颖; 诸昌钤; 王勇 期刊:《电子设计应用》 2005年第06期
本文介绍了多功能车厢总线(MVB),分析了国外先进MVB网卡的通信机制与特点,在此基础上,提出了用FPGA技术实现该网卡的核心部分多功能车厢总线控制器(MVBC)的方法,并采用功能相关的模块分组验证方法,对MVBC进行了功能验证及时序验证.
作者:周新发 期刊:《空间控制技术与应用》 2005年第02期
本文参照SPARCV8体系结构,分析了LEON模型的VHDL代码,制订了IU、Cache、存储单元控制器、UART、Timers、并行IO口、中断控制器等功能模块的验证需求,采用指令集覆盖策略编写了验证程序,完成了LEON模型的功能验证和验证的覆盖率分析,开发了基于Xilinx百万门FPGA器件的原理样机,在现实环境下进一步验证了基于SPARCV8指令集的LEON微处理器模型的可实现性。
作者:吴赫; 肖佳奇; 刘扬; 侯春 期刊:《汽车工程师》 2018年第01期
汽车模型平台是将计算机中的三维设计数据实物化后的模型.在汽车设计数据缺乏直观有效的校核手段情况下,创 造性地设计了汽车模型平台,并详细阐述了汽车模型平台的搭建和标定方法,简要说明了汽车模型平台的主要应用方向以 及在后续工作中对于汽车模型平台的开发,对汽车设计数据校核和开发流程的优化起到重要的作用.
作者:孙贵斌; 李英; 卓文得; 乔喜伟 期刊:《厦门理工学院学报》 2019年第05期
在采用Simulink软件搭建控制对象模型的基础上,基于VEOS系统制定测试方案,搭建某款纯电动汽车整车控制器测试平台,实现软件在环仿真;利用仿真结果对功能错误的代码进行调试改正,并将调试好的C代码下载到硬件环境中进行实车测试,完成电动汽车整车控制器的功能验证。研究表明,整车控制器能够根据测试人员的故障输入快速准确地识别故障等级,并作出响应;应用软件在环仿真技术能及时发现整车控制器在早期研发阶段存在的功能代码错误,可...
作者: 期刊:《锻压装备与制造技术》 2018年第02期
3月16日,济南二机床为一汽-大众天津工厂提供的8100吨高速自动化冲压生产线,经过连续6个班次测试,以96.8%的开动率一次性通过96%功能验证,按期通过了终验收。济南二机床常务副总经理张世顺、压力机及自动化公司总经理刘林义,一汽-大众总监许万才,天津工厂中方厂长宋志勇、德方厂长Torres、党委副书记姜恕君参加了终验收仪式。
作者: 期刊:《消防技术与产品信息》 2017年第11期
2017年8月30日,我国研制的AC313直升机城市消防型在空中圆满完成悬停取水、喷水试飞科目,标志着国产直升机正式具备城市空中消防能力。当天上午,AC313直升机城市消防型起飞至10 m高度悬停,完成水炮炮管角度控制及吸水软管放出、收起功能验证后,直升机飞至水池上方,缓慢下降至4 m高度悬停,完成吸水后平飞至喷水点。
作者:贺小英; 荆乾鸽; 姜欣颖; 袁婷; 吴宪; 佟瑞莹; 王晶妍; 马利兵 期刊:《南方农业学报》 2019年第06期
【目的】构建携带人类端粒酶催化亚基基因(hTERT)的腺病毒载体并优化其包装条件,为进一步探究端粒酶与细胞重编程调控间的作用机理提供参考依据。【方法】利用腺病毒载体pAdEasy-1构建携带hTERT基因的重组腺病毒载体,分别采用脂质体法和电转法及不同浓度胎牛血清在HKE293A细胞中进行包装,筛选出最佳病毒包装条件,收集重组腺病毒rAd-hTERT并体外感染小鼠胎儿成纤维细胞,验证重组腺病毒rAd-hTERT的活性功能。【结果】以腺病毒载体pAd...
作者:解咏梅; 张珩; 张福新 期刊:《计算机应用研究》 2005年第01期
随着半导体技术的发展,验证已经逐渐成为大规模集成电路设计的主要瓶颈.首先介绍传统的功能验证方法并剖析其优缺点,然后引入传统方法的一种改进--基于覆盖率的验证方法,最后介绍了基于覆盖率的验证方法在一款通用微处理器功能验证中的实际应用.
作者:王祚栋; 魏少军 期刊:《计算机辅助设计与图形学学报》 2005年第08期
复杂微处理器的功能验证是当前主要的设计瓶颈.为提高验证效率,提出了自验证和混合模型模拟两种模拟加速方法.前者通过实现验证流程的自动化来提高验证效率,其有效性正比于激励空间的规模,反比于单个向量的平均模拟时间;后者则通过模拟不同抽象层次子模块模型组成的系统,将全芯片网表的验证时间从子模块数的指数关系降低到线性关系.该方法的有效性和可行性在32位处理器的设计实践中得到了验证.
作者:关瑞攀; 白智伟; 王倩; 唐笔锋; 崔秀明; 刘迪秋 期刊:《华北农学报》 2018年第02期
多聚半乳糖醛酸酶抑制蛋白(PGIP)是植物抗病防御系统的重要组成部分。在前期研究中,从三七中分离得到一个编码PGIP蛋白的基因PnPGIP,PnPGIP在转录水平响应三七根腐病菌茄腐镰刀菌的侵染。为深入分析PnPGIP的功能,构建PnPGIP的原核表达载体,转入大肠杆菌BL21(DE3)进行大量表达,纯化获得PnPGIP的重组蛋白,并进行体外平板抑菌试验;构建PnPGIP的植物超表达载体,通过根癌农杆菌介导产生了PnPGIP转基因烟草,分析T2转基因烟草离体叶片对茄...
和并行Flash相比,SPI Flash由于小巧灵活、低成本、高效的特点,在嵌入式SoC系统中的运用日益广泛。随着对嵌入式处理器性能需求的提升,SPI串行接口及Flash较慢的读取速度与处理器执行速度之间的差距逐渐增大。由于SPIFlash在嵌入式系统中通常用于存储程序固件(firmware),利用程序执行的局部性原理,在SPI Flash控制器中引入Cache模块优化程序读取的性能,成为较为常见的一种优化方法。本文介绍了一种基于Cache加速的SPI Flash控制器...
作者:罗军; 范剑峰; 吕宏峰; 王小强; 罗宏伟 期刊:《电子技术应用》 2018年第09期
可编程逻辑阵列由于具备片内资源丰富、灵活、可重构等特点在数字信号处理、硬件加速及芯片原型验证中具有广泛的应用。块存储器作为可编程逻辑阵列中的重要片内资源,具备高速及大容量的特点。为了解决高速块存储资源功能验证时序约束要求高等不足,设计了采用跨时钟域的高速块存储器资源功能验证方法,并基于可编程逻辑阵列进行了功能仿真验证。实验结果表明,该方法能够满足640MHz的高速块存储器资源验证需求,并且具备模块化的特点,...