功能验证

摘要： 近年来,随着摩尔定律的放缓,传统体系结构逐渐面临“存储墙”和“功耗墙”问题。如今新型计算模式和体系结构层出不穷,其中就包含了类脑计算。由于其存算一体的特点,类脑计算已逐步打破了冯·诺依曼体系结构带来的“存储墙”和“功耗墙”限制,在类脑处理器上相关类脑算法得到了高效的应用。现阶段在大规模生物神经网络的应用场景下,需要提升多核类脑处理器的规模可扩展性,保持其高数据吞吐量和低传输延时。现今,大多数多核类脑处理器的设计采用片上网络作为互连结构。然而目前关于这类片上网络的验证研究还相对较少。鉴于片上网络对多核类脑处理器的重要性,建立一套完整而鲁棒的片上网络功能验证框架意义重大。旨在基于随机化方法来生成行为级和FPGA硬件级测试所需的激励文件,通过对日志文件进行高效处理实现较为全面的功能验证。

摘要： 【目的】本研究旨在通过克隆茶尺蠖Ectropis obliqua解毒相关无机焦磷酸酶(inorganic pyrophosphatase,PPase)基因EoPPase672,并对其进行原核表达和功能验证,为更好地了解EoPPase672在茶尺蠖解毒过程中的作用及相关功能的应用提供理论依据。【方法】从茶尺蠖转录组数据库中筛选到EoPPase672 cDNA,构建原核表达载体pET-32a-EoPPase672,转化到大肠杆菌Escherichia coli BL21(DE3),SDS-PAGE及Western blot鉴定重组表达蛋白;测定EoPPase672的浓度以及酶促反应最适温度、最适pH和最适金属离子。利用qRT-PCR检测亚致死浓度(LC_(10)=2.08 mg/L)溴氰菊酯刺激后不同时间不同龄期茶尺蠖幼虫中EoPPase672的表达水平。基于PPase的特性,分析重组蛋白EoPPase672在PCR反应中对焦磷酸盐(PPi)的去除效果和对PCR扩增效率的影响。【结果】通过原核表达和纯化获得重组蛋白EoPPase672。通过无机磷酸盐(Pi)含量标准曲线测得该酶的比活力为1279.6 U/mg,酶促反应的最适温度为65°C、最适pH为7.5、最适金属离子为Mg^(2+)。茶尺蠖幼虫被溴氰菊酯(2.08 mg/L)刺激12 h后,2和3龄幼虫EoPPase672的表达量与对照组的相比显著上调,4龄幼虫EoPPase672的表达量小幅上调;被溴氰菊酯刺激24 h后,2和3龄幼虫EoPPase672的表达量与对照组的相比仍然显著上调,但与刺激12 h的2和3龄幼虫中的相比下调。在PCR反应中添加重组蛋白EoPPase672后,部分PPi被水解,解除了PPi对PCR扩增的抑制作用,对PCR扩增效率起到了增强效果。【结论】这些结果表明,重组蛋白EoPPase672可提高PCR扩增效率,EoPPase672基因可能参与了茶尺蠖的解毒过程。研究结果为进一步研究茶尺蠖EoPPase672的功能提供了依据。

摘要： 研究我国野生葡萄燕山葡萄(Vitis yeshanesis‘Yanshan’)VyUSP1基因在转基因烟草不同逆境下的表达情况,选择从供试材料中克隆所获得的VyUSP1基因,利用重组法构建其载体,并用农杆菌介质为导体转化转基因烟草植株,获得USP转基因烟草植株,然后对转基因烟草植株进行不同逆境处理,并对该基因进行初步的功能研究。结果表明,在不同的逆境条件下,USP转基因烟草均具有一定的抗干旱能力,但是不具备抗寒能力。较高浓度NaCl、甘露醇、PEG-6000以及低温处理会抑制转基因烟草种子的萌发。而在不同浓度NaCl、甘露醇处理下,转基因烟草植株幼苗均比野生型(WT)植株幼苗的表现要好;不同浓度PEG-6000处理对转基因烟草幼苗生长的影响并不明显;但在低温处理条件下,转基因烟草植株幼苗全部死亡。植物在受到外界胁迫时VyUSP1基因的表达会上调,蛋白活性被激活之后,有助于提高植物的抗逆性,增强其环境的适应性,因此USP对逆境胁迫存在一定的抗性。

摘要： 目的采用簇状规则间隔短回文重复序列(CRISPR)/Cas9基因编辑技术构建质粒并敲除HEK-293细胞的HIF-1α基因。方法通过在线软件设计3号外显子上靶向HIF-1α的sgRNA,并将其构建到CRISPR/Cas9载体中。经Sanger测序验证质粒构建正确后,将重组质粒通过Lipofectamine 3000转染到HEK-293细胞中。通过药物筛选提取细胞DNA和蛋白,用T7E1酶和Western blotting检测基因变化和蛋白表达情况。结果Sanger测序结果显示,所设计的sgRNA成功插入到CRISPR/Cas9载体中,序列验证正确,重组质粒构建成功。T7E1酶切实验成功切除3条带,sgRNA的打靶效率为33.8%。Western blotting结果显示,经过氯化钴诱导、转染药筛后的HEK-293细胞蛋白表达水平较野生型细胞明显下降,差异有统计学意义(P<0.05)。结论成功构建靶向HIF-1α基因的CRISPR/Cas9载体,载体靶向敲除HIF-1α基因功能验证成功。

摘要： 随着电子设计复杂度的持续增长,芯片的软件功能验证受到行业内越来越多的重视,业内采用传统测试方法和主流通用验证方法学(UVM)时,都是基于测试驱动的软件功能验证,导致验证环境内的组件具有较强的耦合性,在开展多重环境的软件功能验证时,需要花费大量的时间设计不同测试组件,不利于可重用性实现.本文提出了一种基于需求驱动的功能验证方法,利用需求之间存在的很多共性特点,提取了多重验证环境下的验证基础设施组件,创建出一种可集成化验证基础组件的参考库模型,利用需求驱动所有测试组件,做到了需求、激励、驱动、检测、被测件之间的100%隔离,创建出具有广泛使用的验证模式.新方法与UVM验证方法学相比,可重用性提升效果显著,具有组件独立、层次关系少、使用方便等特点,可满足不同需求和验证环境需要.举例对参考库的可重用性进行了有效性证明,最后对测试结果分析比较,表明新方法可以快速应用于多重环境的软件功能验证,提升工作效率.

摘要： 病毒诱导的基因沉默技术(VIGS,Virus-induced gene silencing)是一种重要的生物技术,本文详细总结了VIGS技术的原理及发展、病毒载体的演化及其在植物抗病基因功能中的应用等方面的研究进展。

摘要： 针对网联汽车在进行V2X功能实车测试成本高、危险性高、对场地要求高等问题,以被测车辆V2X车载单元为主要测试对象,开发一套基于虚实融合技术的V2X测试系统,依托PreScan及MATLAB软件搭建测试场景,背景车辆及路侧信息为虚,被测车辆为实,虚实结合构建了完整的V2X功能实车验证环境。以某车型搭载的V2X车载单元为被测对象,在测试系统中搭建了交叉路口碰撞预警验证环境进行试验,试验结果证实测试系统能够在保证测试安全的前提下进行V2X功能有效性的判断。

摘要： 航空装备的发展,不仅带来硬件上的升级换代,飞机在软件方面的发展也到达了一个新的水平。机上更多设备都配套相应的软件,并且保留开放升级的接口以达到不断迭代优化软件实现飞机装备功能升级的效果。随之带来机上大量的软件升级工作以及地面保障设备配套软件的更新升级。通过结合日常工作中的软件升级工作,来探索软件升级过程的管控方法,研究升级后新版软件在飞机上功能验证的准确性、精炼性和全面性。

摘要： 为获得能在盐碱土中生存并对植物有促生作用的高效溶磷菌,从生长于盐碱土的苜蓿根际土中筛选得到98株溶磷菌,选出3个溶有机磷量高的菌株,并对其进行鉴定和溶磷功能验证。结果表明,细菌Y7属于假单胞菌(Pseudomonas sp.),溶有机磷量为456.35 mg/L;细菌Y31属于不动杆菌(Acinetobacter sp.),溶有机磷量为400.44 mg/L;细菌W5属于芽孢杆菌(Bacillus sp.),溶有机磷量为128.63 mg/L。这3个菌株具有一定的促生功能和耐盐碱性,其中Y7和W5具有碱性磷酸酶phoD基因,Y31具有植酸酶appA基因。分别将这3个溶磷菌株施入缺磷的盆栽盐碱土中,大豆幼苗叶绿素含量和生物量均得到提高,说明溶磷菌能够溶解土壤中难溶性磷供大豆生长并对大豆生长具有促进作用。综上所述,这3个菌株可以通过分泌碱性磷酸酶或植酸酶来溶解难溶性磷供大豆生长且溶磷量较高,可以缓解盐碱胁迫对大豆的危害,有效促进大豆生长。

摘要： [目的]研究MYB转录因子家族在滇牡丹黄色花花色变黄过程中的重要作用,为牡丹花色改良和分子育种提供候选基因。[方法]本研究基于滇牡丹花瓣的转录组数据,对滇牡丹MYB家族进行了成员鉴定及分类。依据系统进化树、同源序列比对、基因差异表达筛选到候选基因PdMYB2,利用亚细胞定位、实时荧光定量PCR、转基因烟草及液相色谱等方法对PdMYB2进行功能验证。[结果]在滇牡丹转录组中共鉴定到64个MYB基因家族成员,分别为R2R3-MYB成员25个,R1R2R3-MYB 1个,4R-MYB 2个,MYB-related 36个。筛选到1个R2R3-MYB转录因子PdMYB2,定位在细胞核和细胞质中,在烟草中过表达PdMYB2会引起烟草花青素积累量的增加,在花瓣中与花青素相关的结构基因NtCHS和NtCHI的表达量均上调。[结论]MYB转录因子家族中的Pd MYB2在类黄酮合成途径中具有正调控作用,可以促进花青素的积累,提高类黄酮途径上结构基因的表达量。

摘要： 优选模块是先进的核电厂安全级DCS平台的一个重要组成部分,该模块是优选驱动系统的核心模块.主要功能是对来自不同系统的设备驱动信号进行优先级逻辑运算处理,驱动专设安全设施及相关支持系统的泵、阀等设备,并将现场设备的状态信号通过该模块的网络接口发送至专设安全设施驱动系统.确保核电站安全运行,实现事故后保护的关键环节.为了提高该模块的可靠性及安全性,本设计中应用CPLD技术,采用三重冗余容错架构对该模块进行硬件设计,通过可靠性建模分析及功能验证,证明了该模块的方案可行性.

摘要： 飞行器管理系统(VMS)是目前国外先进战斗机中广泛采用的综合控制与管理技术.为开展飞行器管理系统设计工作,建立了仿真平台.主要介绍了仿真平台的架构和组成,分析了关键系统的设计,并在仿真平台上进行了仿真试验、测试和验证.试验表明该仿真平台能够进行VMS的功能验证及拓展,并可以进行仿真评估以及VMS的理论研究.本平台构建了不依赖于飞机具体型号的仿真系统框架，在此平台上，能够进行VMS的功能验证及拓展，并可以进行仿真评估以及VMS的理论研究，包括功能架构设计、机载资源的分析、冲突及消解机制等。

摘要： 转置存储器(Corner Turning Memory,CTM)是合成孔径雷达实时处理器和逆合成孔径雷达实时处理器的一个重要组成部分,它的效率直接决定了整个系统的性能.本设计充分考虑了DDR2的工作效率,即当对DDR2进行读写操作,连续对同一bank的同一行进行寻址时,DDR2对于连续的读或写命令间需要保持的延时最小,并利用这一特性设计了通用的大规模矩阵转置存储控制器.本文将从存储器的系统、模块划分、跨时钟域控制信号设计以及Modelsim功能性验证四个方面来介绍存储器的设计与实现.

摘要： 转置存储器(Corner Turning Memory,CTM)是合成孔径雷达实时处理器和逆合成孔径雷达实时处理器的一个重要组成部分,它的效率直接决定了整个系统的性能.本设计充分考虑了DDR2的工作效率,即当对DDR2进行读写操作,连续对同一bank的同一行进行寻址时,DDR2对于连续的读或写命令间需要保持的延时最小,并利用这一特性设计了通用的大规模矩阵转置存储控制器.本文将从存储器的系统、模块划分、跨时钟域控制信号设计以及Modelsim功能性验证四个方面来介绍存储器的设计与实现.

摘要： 转置存储器(Corner Turning Memory,CTM)是合成孔径雷达实时处理器和逆合成孔径雷达实时处理器的一个重要组成部分,它的效率直接决定了整个系统的性能.本设计充分考虑了DDR2的工作效率,即当对DDR2进行读写操作,连续对同一bank的同一行进行寻址时,DDR2对于连续的读或写命令间需要保持的延时最小,并利用这一特性设计了通用的大规模矩阵转置存储控制器.本文将从存储器的系统、模块划分、跨时钟域控制信号设计以及Modelsim功能性验证四个方面来介绍存储器的设计与实现.

摘要： 转置存储器(Corner Turning Memory,CTM)是合成孔径雷达实时处理器和逆合成孔径雷达实时处理器的一个重要组成部分,它的效率直接决定了整个系统的性能.本设计充分考虑了DDR2的工作效率,即当对DDR2进行读写操作,连续对同一bank的同一行进行寻址时,DDR2对于连续的读或写命令间需要保持的延时最小,并利用这一特性设计了通用的大规模矩阵转置存储控制器.本文将从存储器的系统、模块划分、跨时钟域控制信号设计以及Modelsim功能性验证四个方面来介绍存储器的设计与实现.

摘要： 转置存储器(Corner Turning Memory,CTM)是合成孔径雷达实时处理器和逆合成孔径雷达实时处理器的一个重要组成部分,它的效率直接决定了整个系统的性能.本设计充分考虑了DDR2的工作效率,即当对DDR2进行读写操作,连续对同一bank的同一行进行寻址时,DDR2对于连续的读或写命令间需要保持的延时最小,并利用这一特性设计了通用的大规模矩阵转置存储控制器.本文将从存储器的系统、模块划分、跨时钟域控制信号设计以及Modelsim功能性验证四个方面来介绍存储器的设计与实现.

摘要： 转置存储器(Corner Turning Memory,CTM)是合成孔径雷达实时处理器和逆合成孔径雷达实时处理器的一个重要组成部分,它的效率直接决定了整个系统的性能.本设计充分考虑了DDR2的工作效率,即当对DDR2进行读写操作,连续对同一bank的同一行进行寻址时,DDR2对于连续的读或写命令间需要保持的延时最小,并利用这一特性设计了通用的大规模矩阵转置存储控制器.本文将从存储器的系统、模块划分、跨时钟域控制信号设计以及Modelsim功能性验证四个方面来介绍存储器的设计与实现.

摘要： 近年来,生物标志物在医药领域的疾病诊断、药效监测以及毒性预测方面均显示出了极大的意义,寻找和发现有价值的安全性生物标志物成为提高药物研发效率、降低药物研发风险的有效方法.随着生物技术尤其是组学技术的不断发展,一些潜在的安全性生物标志物被发现,但这些生物标志物的诊断有效性和可靠性尚有待证实.目前,两个重要的国际性研究组织,国际生命科学学会健康和环境科学研究所(ILSI/HESI)、以及关键路径研究所(C-Path)成立的药物安全性预测联盟(PSTC)正在积极开展新的安全性生物标志物的筛选和验证工作.2008以来,已经向FDA和EMA提交多种新的生物标志物,并己有8种肾毒性生物标志物被批准可用于药物临床前大鼠安全性评价中、2种心脏毒性标志物被批准可用临床前药物研发.但这些新的肾毒性生物标志物在临床前非啮齿类动物Beagle犬、猴中的灵敏度、特异性尚需研究确认和证实.此外,2014年和2016年FDA和EMA对于其他提交的肾毒性生物标志物未给予法规认可,但发出了Support Letter,建议进行更多的探索性研究.目前,尚有许多潜在的安全性生物标志物在进一步验证研究中.miRNA作为调节靶基因翻译的非编码小分子RNA,与许多病理进程密切相关,其作为疾病或脏器损伤的非创伤性生物标志物已成为研究热点,目前在临床前研究中已经发现了一些潜在的miRNA标志物,有望成为更加灵敏的新型安全性生物标志物.此外,这些在体内实验中筛选和确证的新的安全性生物标志物,也为体外毒性评价方法提供了新的研究方向.

摘要： 近年来,生物标志物在医药领域的疾病诊断、药效监测以及毒性预测方面均显示出了极大的意义,寻找和发现有价值的安全性生物标志物成为提高药物研发效率、降低药物研发风险的有效方法.随着生物技术尤其是组学技术的不断发展,一些潜在的安全性生物标志物被发现,但这些生物标志物的诊断有效性和可靠性尚有待证实.目前,两个重要的国际性研究组织,国际生命科学学会健康和环境科学研究所(ILSI/HESI)、以及关键路径研究所(C-Path)成立的药物安全性预测联盟(PSTC)正在积极开展新的安全性生物标志物的筛选和验证工作.2008以来,已经向FDA和EMA提交多种新的生物标志物,并己有8种肾毒性生物标志物被批准可用于药物临床前大鼠安全性评价中、2种心脏毒性标志物被批准可用临床前药物研发.但这些新的肾毒性生物标志物在临床前非啮齿类动物Beagle犬、猴中的灵敏度、特异性尚需研究确认和证实.此外,2014年和2016年FDA和EMA对于其他提交的肾毒性生物标志物未给予法规认可,但发出了Support Letter,建议进行更多的探索性研究.目前,尚有许多潜在的安全性生物标志物在进一步验证研究中.miRNA作为调节靶基因翻译的非编码小分子RNA,与许多病理进程密切相关,其作为疾病或脏器损伤的非创伤性生物标志物已成为研究热点,目前在临床前研究中已经发现了一些潜在的miRNA标志物,有望成为更加灵敏的新型安全性生物标志物.此外,这些在体内实验中筛选和确证的新的安全性生物标志物,也为体外毒性评价方法提供了新的研究方向.

摘要： 程序分析/验证服务提供系统(1)具备：工具注册/检索部(313)，其从保存在工具存储部(320)中的多个程序分析/验证工具(虚拟机)之中提取对用于分析、验证对象程序(P)的程序分析/验证工具进行导入、设定的虚拟机(T)；以及虚拟机执行环境部(120)，其使用所提取的虚拟机(T)来分析、验证对象程序(P)。

摘要： 本公开实施例涉及半导体测试领域，提供一种生成验证序列的方法及其装置、功能覆盖率的验证方法，生成验证序列的方法包括：设定验证序列的命令个数为N；构建数据库，数据库中包含多个命令，命令为验证序列中需要的命令；从数据库中依次随机挑出N个命令；对N个命令进行检验，若检验合格，生成验证序列。本公开实施例至少有利于提高生成的验证序列的全面性，避免人工编写验证序列的易错性和繁琐性，以及有利于提高生成验证序列的效率。

摘要： 一种具有实时中断验证功能的记忆体验证系统及方法，包括测试用电子装置，所述测试用电子装置包括相耦接的处理器及待测记忆体，由所述处理器执行验证程序，以对所述待测记忆体进行验证，当所述处理器对所述待测记忆体进行验证的过程中，若发生异常时，所述处理器实时地执行中断跳脱程序，以停止对所述待测记忆体的验证，并输出及记录异常记录信息供确认，借此改善传统在验证中发生异常时，只能切断验证用的电子装置的电源，使得记录的异常原因遗失，无法被查询的问题，以达到降低验证复杂度并且提升确认异常的实时性、效率性及便利性的目的。

摘要： 本发明涉及一种带验证功能的电子车牌及电子车牌验证系统，电子车牌包括处理器以及与所述处理器电连接的显示屏，所述显示屏上设有车牌显示区和验证信息显示区；所述处理器用于获取车牌号码信息，并将所述车牌号码信息发送至所述显示屏的车牌显示区内进行显示；所述处理器还用于获取或生成验证信息，并对所述验证信息进行处理，且将处理后的所述验证信息发送至所述显示屏的验证信息显示区内进行显示；其中，所述验证信息用于验证所述车牌号码信息的合法性。本发明通过在显示屏的车牌显示区旁设置验证信息显示区用于显示验证信息，通过验证信息验证车牌显示区内显示的车牌号码信息的合法性，避免非法设置电子车牌的情况发生。

摘要： 本发明公开了一种微处理器功能验证设备，包括：指令集仿真器，比较器，监视器，输入接口，RTL模型；指令集仿真器，用于执行测试程序产生阶段性参考数据文件；比较器，用于从指令集仿真器中读取阶段性参考数据文件；输入接口，用于加载测试程序到待验证设计的存储单元；监视器，用于捕捉待验证设计仿真中的待验证信号输出给比较器；比较器，还用于将阶段性参考数据文件中的参考数据与待验证信号进行对比是否一致；RTL模型，用于逐周期从待验证设计读取待验证设计的部分内部信号，以进行裁决待验证设计的行为是否与RTL模型的行为一致。有效解决了现有技术中对待验证设计的功能检查效率低的技术问题，从而实现了高效快速的功能检查，最终提高了验证效率。

摘要： 本发明提供一种适用于网络交换芯片ECC功能验证的验证平台及验证方法。该验证平台包括配置信息添加模块，用于在已有验证平台上添加配置信息和错误注入类型信息；错误注入模块，用于根据配置的ECC错误类型，向待测网络交换芯片进行错误注入；错误检查比对模块，用于根据向待测网络交换芯片注入的ECC错误类型提前得出待测网络交换芯片期望的输出结果和中断上报信息，接收待测网络交换芯片实际的输出结果，以及监测待测网络交换芯片实际的中断上报信息；并将期望的输出结果、中断上报信息和实际的输出结果、中断上报信息进行比对。本发明验证效率较高，功能点验证覆盖更全，易于EDA仿真实现。

摘要： 本发明提供了一种星基增强技术功能验证装置及验证方法，星座模拟器模块产生数据传入到数据接收模块，数据接收模块将数据传入到数据预处理模块，从数据库中获取FAS数据，并传入到数据预处理模块，数据预处理模块分为单频数据预处理和双频数据预处理，数据处理模块收到从数据预处理模块出来的经过数据预处理的数据，进行定位解算和保护级解算，将解算完成的定位数据和保护级数据传入到数据存储模块并和功能验证模块。本发明所设计的装置和方法简单易用，对于用户可以直接观测，所得的结论简洁明了。

摘要： 本发明公开了一种微处理器功能验证设备，包括：指令集仿真器，比较器，监视器，输入接口，RTL模型；指令集仿真器，用于执行测试程序产生阶段性参考数据文件；比较器，用于从指令集仿真器中读取阶段性参考数据文件；输入接口，用于加载测试程序到待验证设计的存储单元；监视器，用于捕捉待验证设计仿真中的待验证信号输出给比较器；比较器，还用于将阶段性参考数据文件中的参考数据与待验证信号进行对比是否一致；RTL模型，用于逐周期从待验证设计读取待验证设计的部分内部信号，以进行裁决待验证设计的行为是否与RTL模型的行为一致。有效解决了现有技术中对待验证设计的功能检查效率低的技术问题，从而实现了高效快速的功能检查，最终提高了验证效率。

摘要： 本发明提供一种适用于网络交换芯片ECC功能验证的验证平台及验证方法。该验证平台包括配置信息添加模块，用于在已有验证平台上添加配置信息和错误注入类型信息；错误注入模块，用于根据配置的ECC错误类型，向待测网络交换芯片进行错误注入；错误检查比对模块，用于根据向待测网络交换芯片注入的ECC错误类型提前得出待测网络交换芯片期望的输出结果和中断上报信息，接收待测网络交换芯片实际的输出结果，以及监测待测网络交换芯片实际的中断上报信息；并将期望的输出结果、中断上报信息和实际的输出结果、中断上报信息进行比对。本发明验证效率较高，功能点验证覆盖更全，易于EDA仿真实现。

摘要： 本申请实施例提供一种设计的功能验证方法、系统、验证用电子设备及存储介质，其中方法包括：判断待测设计在当前时钟周期是否发生中断；若是，确定待测设计执行中断的中断触发信息，以及执行中断所更新的寄存器信息；基于中断触发信息以及寄存器信息，生成待测设计的中断退休信息，将中断退休信息保存到退休信息队列中；基于退休信息队列中保存的信息，控制参考模型的模拟执行，并获取参考模型基于模拟执行所更新的寄存器信息；基于待测设计更新的寄存器信息和参考模型更新的寄存器信息，确定验证结果。进一步的，退休信息队列还可以保存微码退休休息，本申请实施例对于具有复杂指令集类型的设计，可以提供功能验证支持。