从PCI接口的综合验证方法

当今流行的先进的验证技术有很多,本文综合使用了OVL(OpenVerificationLibrary)断言验证、总线功能模型BFM(BusFunctionModule)层次化验证和FPGA(FieldProgrammableGateArray)硬件加速仿真这三种验证技术,搭建一个从PCI(PeripheralComponentInterconnect)接口的验证环境.实验表明,该验证环境增强了验证的可重用性、可控性,极大地减少了仿真的工作量,提高了验证的效率.

对于巴门尼德残篇的解读意见——兼论希腊哲学中的συ和ontology

希腊哲学作为ontology的起源地 ,其on(συ)的原义是什么 ,如何理解和翻译 ,已经成为希腊哲学和全部西方哲学研究中的一个关键问题。本文以印欧语、汉语的有关语言学知识和希腊哲学发展线索的研究为依据 ,对巴门尼德原著 (希腊文本 )进行了系统的解读工作。首先是对巴门尼德提出的εστιυ命题及συ的语言语义进行解读 ;在此基础上 ,进而对其哲学含义进行解读。文章强调指出 :必须同时承认它的“存在 /有 /实在”含义和“是 /真”的含义 ,认为双读是恰当的方法 ,并且强调 :这两种含义关联相通不可分离 ,汉语词“真实”二字的联结就表达了二者的联系 ;从而指明希腊哲学及其ontology的根本特征 ,可以最简约地表达为“求真” 。

基于SVA的检验器设计方法

断言（Assertions）是关于设计所做的“真相的声明”或“事实的说明”。断言的唯一目的是保证设计者的意图与最后生成电路逻辑功能的一致性。断言作为新兴的验证技术，广泛受到业内人士青睐。面向对象编程语言SystmVerilog的断言（SVA）更是得到各家EDA公司的大力支持和推广。本文以localbus接口检验器为例，介绍如何设计和使用SVA。

Overlay chart管控方法的研究

在半导体制造光刻工艺中,OVL(Overlay,层对准)是测量前层与本层之间曝光准确度的参数[1]。现阶段对于OVL的管控,一般根据工程师经验判断设定管控上下限,并没有合理地运用统计方法进行管控。这项研究的目的就是为了寻找合理的统计方法对OVL的管控上下限进行科学有效的设置,从而实现对OVL参数的科学管控。基于长期以来对于OVL数据的特性分析可知,这些数据并不符合最常见的正态分布,因此用3 Sigma作为管控上下限的方法并不适合对于OVL的管控。建议可以利用T分布及卡方分布对OVL进行管控,使用这种新的管控方法设置上下限,得到了合理的OCAP ratio,从而实现对OVL更有效的管控。

基于断言的硬件设计功能验证

硬件设计复杂度的增加使功能验证成为硬件设计方法学中的重要内容,基于断言技术的硬件设计验证技术(ABV:Assertion Based Verification)得到越来越多的应用本文首先简要地介绍了硬件设计断言的类型,然后详细讨论了使用断言进行硬件设计验证的方法,包括:断言在仿真中的应用,断言在形式验证中的应用,结合了仿真及形式验证的混合形式验证等。本文还介绍了支持断言验证技术的设计语言和设计属性检查库,包括OVL(Open Verification Library)、OVA(OpenVera Assertion)和OVA设计属性检查库等。

GGSN的VoLTESBC容灾配置优化方案

在VoLTE解决方案中,GGSN需要与Vo LTESBC建立连接并设置容灾配置策略,某些GGSN在VoLTE用户注册时给其分配的Gm口地址缺乏SBC POOL负荷均衡机制,导致池内某一台SBC时,容易形成雪崩效应,严重威胁网络安全,需要从GGSN的功能或配置等多个方面进行完善优化,最终排除SBC故障后引起雪崩风险的隐患。

特高压直流测量电压异常分析与电压控制逻辑优化

向家坝-上海±800kV特高压直流输电示范工程自投运以来,两端换流站多次发生直流分压器故障,导致直流系统测量电压异常扰动,其中复龙换流站典型异常情况为直流测量电压突然从800kV上升至1 500kV及以上,直流电流及功率突降至0,严重影响了特高压直流系统的安全稳定运行。本文通过对典型电压测量异常情况分析,深入研究电压测量异常时直流控制系统中电压控制逻辑的动作行为,提出合理的过电压限制器(OVL)逻辑优化建议,为向上直流及后续特高压直流工程提供改进参考建议。

棉花胚珠纤维细胞分化的研究——纤维细胞初期发育阶段超微结构观察

以陆地棉北农-1号(BN-1)和光籽突变种(MXZ-142)为材料,超薄切片透射电镜(TEM)连续观察开花前2天至开花后后2天的胚珠表皮细胞超微结构的变化,从解剖学上观察研究胚珠表皮细胞的分化发育。开花前后 BN-1胚珠表皮纤维原始细胞发生一系列显著变化:开花前,表皮细胞中各种细胞器含量较不丰富,没有细胞突起。开花当天纤维原始细胞突起,细胞核增大,线粒体、高尔基体、内质网增多,部分胞间连丝消失。亮、暗两类细胞均可突起成纤维细胞,暗细胞是液泡内酚类物质弥散至胞质所致。MXZ-142胚珠表皮细胞变化相应较小,与BN-1未突起的细胞相似,胞间连丝未见消失,没有表皮毛细胞的分化突起。本文还讨论了棉花胚珠表皮纤维细胞的分化机理。