E语言相关论文
提出了一种基于E语言和OVL库的功能验证解决方案,此方案可以自动产生测试矢量并确定设计缺陷的位置和严重等级。使用这种方法可以......
随着系统芯片(SoC)复杂度的提高,功能验证的工作量成倍增加,利用传统的验证方法很难完成复杂度在百万门以上的SoC的功能验证。高级......
在目前的集成电路设计中，芯片的设计规模和复杂程度正大幅增加，对“系统级”验证理论和技术提出新的挑战。e语言是Verisity公司于199......
各级电力单位在迅速推进的电力信息化建设工作中逐步建立有多种专业子系统，有效支撑了电网安全稳定运行的要求，但分别建设所形成的的......
E语言是由国家电力调度通信中心开发的电力系统数据模型描述语言。提出了基于E语言的统一的电能量计量系统互联方案,不仅解决了由......
根据E文件的使用情况,文中逐步分析E文件应用中存在的问题.针对这些问题,从全过程管理角度,提出一种具备E文件动态生成、解析、完......
简要介绍了杭州电网区域电压无功自动控制系统（AVC）互联协调控制方式,通过建立实时协调模型和协调模型中关口变量控制,实现杭州电网......
本文介绍了目前国外芯片设计公司最流行的验证技术-基于e语言的自动验证系统。通过e语言可以方便地建立验证环境，随机产生基于约束......
随着当前IC设计规模的空前增长,功能验证变成了设计过程中的主要瓶颈。验证方法已经从简单的采用基于HDL任务的方法发展到了一种完......
电力系统中模型数据交换的实现具有重要的实际意义.为了更好的解决这一问题,提高系统的互操作性,在研究由国际电工技术委员会（IEC）制......
为适应故障注入的自动化和实时性要求,针对试验人员需在试验开始前给出故障信息和编写试验方案,提出产品故障、元故障和故障模型概......
涵盖了稳控集中管理系统的调度EMS系统,除了能有效地对稳控系统进行管理和维护外,还可以利用其具备的当值稳控策略校核和预警等功......
MCNP（Monte Carlo N-Particle Code）是基于蒙特卡罗运算方法的以中子、光子等多种粒子为对象的运动过程模拟的计算程序。由于它强大......
首先给出使用面向对象方式对硬件进行描述和验证的统一框架。这个统一的框架涉及了一种面向对象的语言：e语言以及实时环境Specman E......
介绍E语言在有线电视合同档案信息管理系统中窗体设计思路,并且将费用计算程序、生成打印文本程序、数据备份程序编写的源程序介绍......
采用E语言集成模块的编辑方式，在Google Earth的平台下实现批量化核勘查点位信息的处理和显示。即利用Google Earth这个强大的可视......
针对传统基于E语言的ASIC芯片验证环境的仿真低效率,本文提出了一种优化手段,即在E语言实现的验证环境里只做数据相关处理,时序的......
随着数字电视的迅速发展和移动多媒体设备——手机，PDA等的普及，新的技术被发展并应用于手持设备数字电视的接收，DVB-H手机电视标准提......
持久程序设计语言是实现当前很有发展前途的面向对象数据库的一种支撑技术。这种技术是通过面向对象程序设计语言的扩充，使之具有持......
去年，我们请袁泳先生介绍了Scheme语言；今年，我们再请金山公司技术总监许式伟介绍一下Erlang。对于程序员来说，尝试新的语言总是令人兴......
Clojure诞生于2007年，设计者是RjchHickey。由于它兼具LISP高效、可扩展的特性，同时又能利用Java的生态圈，在短时间内得到了广泛传播，......
近两个月的TIOBE语言排行榜中，在Lisp／Scheme语言的栏目项后又出现了一门新的语言——C10iure。诞生于2007年的Clojure是一门相当年......
随着芯片设计的飞速发展，功能验证已经成为整个设计过程中的主要瓶颈。介绍一种高效高质量的功能验证方法——受限随机矢量生成的功......
从档案管理信息系统的设计目标出发，描述与设计了档案管理信息系统的结构（包括系统数据和系统功能结构），通过全中文的系统开发软件e语......
以文件交换为基础，提出以E语言结合XML文件，采用松散耦合的方式实现了调度在可视化系统与EMS系统的数据交换，成功解决了两个系统模型......
提出了一种继电保护定值在线整定的新方法。依托故障信息系统或定值整定通信单元建设定值远方自动整定系统，读取传输进来的定值单内......
提出并实现了一种基于E语言和C参考模型的IP功能验证方案。该方案能够自动生成验证向量并自动完成仿真结果的正确性判断，可以解决验......
在智能电网调度控制系统整体框架下,以电力调度工作流作为流程描述规范,E语言文件作为数据交互载体,消息邮件作为数据交互工具,以......
9月的TIOBE语言流行度排行榜中，支持内嵌汇编的D语言，以其系统级编程的特性，被越来越多的开发者选用。......
本文主要介绍了在职业教育教学中引用E语言的构想,详细介绍了E语言在教育教学中的优势。并通过一个比较详细的教学实例,展示了E语......
近日，The MathWorks宣布推出Simscape语言，这是一种新的程序编写功能，可在Simulink环境中编写物理建模的组件、域和函数库。新语言包......
日前，达索析统旗下子品牌Exalead与Basis Technology宣布建立合作关系，并将Basis Technology的Rosette语言平台集成到最新发布的Exal......
目前电网调度生产中尚不能实现低频减载的在线实时监测,调度无法及时掌握低频减载控制负荷,给电网的安全稳定运行造成一定的安全隐......
为满足电能量计量系统领域日益增长的扩展性，互联性需求，本文提出了一种基于E语言的电能量计量系统互联的结构模型，阐述了该方案下各......
期刊
智能变电站中一体化信息平台需构建变电站全景数据。变电站中各类系统繁多,所含数据类型和实时性也各不相同,另外不同系统所处的安......
本文介绍了一种基于GPRS无线公网的分布式光伏电站远动信息实时采集及基于E语言文件的数据传输方案,方案满足二次系统安全防护要求......
面对调度自动化系统内庞大的信息量,数据整合是必然趋势,IEC 61970标准提供了整合的依据。在介绍IEC 61970标准的基础上,以西北电......
目前，面向虚拟仪器的可视化编程语言(或称图形化编程语言)多是基于动态纯数据流(DHDF)模型的。由于DHDF的自然属性(数据驱动)与目前......
基于煤矿安全监控系统和煤矿电力监控系统建立了一套煤矿综合安全监控系统,系统能够很好的解决环境电闭锁被甩开的问题,极大的提高......
现在系统芯片(System On Chip)设计中，利用知识产权(IP Intelligence Property)进行设计复用显得日趋重要。而在IP的开发流程中，仿真......
随着半导体工艺水平的飞速发展,集成电路的设计规模不断扩大,设计复杂度不断的增加,设计风险不断的增大,因此验证的工作量也大大增......
随着系统芯片(SoC)复杂度的提高，功能验证的工作量成倍增加，利用传统的验证方法很难完成复杂度在百万门以上的SoC的功能验证。高级验......
随着专用集成电路的发展，其功能越来越复杂，电路可能包含多至几百万的晶体管。从设计开始到设计综合、系统软件和调试等阶段，验证是贯......
