验证工具相关论文
深圳信息职业技术学院软件工程系,罗湖,深圳,中国摘要本文提出、设计并开发了一个对Web服务组合的验证的OWL-S的模型检验工具OWLSV......
随着综合模块化航空电子系统的发展及民机软件规模与复杂度的不断提升,大规模、多来源民机软件的多层次开发、增量式集成已经成为......
如何自动化验证时间敏感安全协议的安全性一直是形式化研究领域的热点和难点,如何在验证过程中简单而有效地考察由时间戳而引入的......
嘉泰智能致力于让工业没有难采的数据,交付可验证的\"数智\"价值,为企业打通迈向工业互联网的第一公里。国货\"雄起\"深挖......
分析了航空领域应用自然语言处理(NLP)技术的需求和场景,规划了航空领域NLP技术应用推广方案,总结了NLP技术发展现状问题及在航空......
网站猎手是一款特定网址收集验证工具，集成了万能上传功能，当然，指的是有漏洞的网站。软件可以搜索同类网站和同一IP下的域名网站，检测......
说明了决策表和知识库之间的关系，详细介绍了作者开发的基于决策表的知识库验证工具ＫＢＶ（ＫｎｏｗｌｅｄｇｅＢａｓｅＶｅｒｉｆｉｅｒ）。给出了在ＫＢＶ中检查冗余、矛盾、循环、不完备性的......
ＶＬＳＩ电路芯片集成度的不断增加，使得设计趋于复杂化，这就对版图验证工具的处理能力与性能提出了进一步的要求。运用特殊的硬件将版图验证......
Synopsys公司、中国华大集成电路设计中心和Sun公司日前在北京香格里拉饭店联合举办了“’98电子设计自动化大展”,来自各领域的2......
以提供逻辑综合工具著名的Synopsys公司,又增加了门级验证工具Formality(形式上等效的验证工具)。使用等效验证工具,可以验证同一......
功能验证是大型IC设计中的一个主要组成部分,对仿真、研究测试及调校工具厂家的压力很大。为了减轻这一方面的负担,有些设计人员正......
竞争加剧必然会导致产品设计周期缩短,因此任何有助于提高工程团队生产效率的措施都是非常有价值的。
Increased competition wil......
随着电路设计在特征尺寸和复杂性方面日益发展,功能验证的重要性也不断提升。验证的复杂性主要体现在嵌入式软件和模拟电路所占比......
针对FPGA原型验证系统开发的完全可视化技术能够大幅提高ASIC和系统验证工作的效率,Synplicity公司开发的TotalRecall技术就实现了......
本文以SIM卡控制模块的功能验证为例,介绍了运用Synopsys Vera验证工具以及RVM验证方法学快速高效地搭建高质量验证平台的方法。文......
Cadence新近推出的Palladium XP Ⅱ验证计算平台首发地选择到中国,作为系统开发增强套件的一部分,Palladium XP Ⅱ可显著缩短硬件......
常用电子设计仿真软件应包括设计输入工具、设计仿真工作、综合工具、布局和布线、物理验证工具、模拟电路仿真器、PLD设计工具等......
系统建模语言(Systems Modeling Language,SysML)的提出使得模型驱动开发(Model Driven Development,MDD)可以应用于系统工程领域......
上下文感知系统的广泛应用反映了其日益增长的市场需求和潜在的巨大经济效益。上下文感知系统通常是大型的、复杂的异构系统,开发......
大粒度服务作为服务计算领域一个新兴的研究领域,受到了越来越多的关注。大粒度服务的出现和应用加强了互联网环境中服务共享、重......
循环程序的终止性分析是程序验证的重要组成部分。确保循环程序的终止是循环程序完全正确的必要条件。目前,用来证明程序终止性的......
林惠民研究员十几年来一直从事计算机科学基础研究 ,主要研究领域是并发程序的形式语义学和形式化方法。在进程代数的验证工具、消......
通用CMOS工艺的新角色RF厂商Silicon Labs和MEMS公司Cavendish Kinetics,是今年Globalpress电子高峰论坛上利用成熟工艺开发创新产......
用于网站内容分析的WatchfireWebXM v1.0拥有出色的信息搜集和报告功能,它可以帮助你控制最复杂的Web网站。虽然50,000美元的起价......
动态服务组合是解决SOA和SOC的重要方案之一.针对动态服务组合的实现,把MAS技术应用到服务组合中.首先对MAS和web服务组合的本质进......
阜阳市局 ￡4a 局长——_MINtkMMtgj’＃lnH＄B——q.M——D收束志不他只邀狲位J则【科校为先导推动地租工作.B为广为戳民U用凶盼引眯B.......
采用面向对象的编程语言VisualBasic（VB）则研制了在纽模型验证系统。以气制动系统为例介绍了理论建模方法、软件实现、硬件实现方法......
形式验证工具创业公司的Jasper Design Automation公司正在提供一款用于帮助IC验证团队生成并跟踪验证计划的免费工具。Jasper公司......
１９９９年８月２５日，美国先驱微电子公司（Ａｖａｎｔ！）在北京举办先驱公司北京科技研讨会。公司ＣＥＯ（总裁兼首席执行长官）徐建国介绍了Ａｖａｎｔ！的历史、发展及业绩。五位技术......
本文介绍在微机上开发的一个功能级演绎故障模拟器的设计与实现,同时对演绎故障模拟技术也作了简单讨论。FDFSSM系统可以在微机上......
由于需要提高生产效率,或者需要通过加工更复杂.更高价值的零件来赢得更多订单,工厂纷纷投资购买先进机床,而这种情况越来越普遍。......
介绍了清华大学开发的核电厂安全参数显示系统的设计特点,其中包括了系统功能上的新特点:(1)分层显示结构;(2)显示格式设计中的人......
介绍了清华大学开发的核电厂安全参数显示系统的设计特点,其中包括了系统功能上的新特点:(1)分层显示结构;(2)显示格式设计中的人......
航空、航天领域对软件质量要求极高，除了要求采用软件测试等方法保证源程序的质量以外，还提出了目标码验证的要求。本文分析了目......
UML行为模型对于描述软件系统的动态特征起着重要作用,但问题是缺乏形式化语义无法对模型进行形式化分析和验证.Petri网是一种形式......
模型检验是一种针对有限状态系统的形式化验证技术,以其简洁明了和自动化程度高而引人注目。通过引入模型检验技术可以改进变异分......
ESP-CV是Synopsys 开发的一种基于符号模拟技术的形式验证工具，可在定制电路和它的行为级描述之间进行等价性检验，并提供多项验证覆......
本文采用Vector CANoe总线仿真测试验证工具针对车辆综合电子系统进行了系统级设计、仿真、测试。应用结果表明：Vector CANoe总线仿......
本文对系统生物形式化模型研究进行了综述.文章指出,进程代数强大的描述能力,使其非常适于系统生物的形式化模型研究,小到细胞活动......
目前,工作流模型验证技术已成为工作流技术中重要的研究课题之一.由于工作流逻辑的复杂性,因而如何构建正确的模型是一个较迫......
AB协议就是窗口大小为1的滑动窗口协议,因而简单性和代表性而成为被广泛使用的范例.PiM是我们开发的一个π-演算的交互式验证工具.......
导弹系统模型建立与验证是系统仿真研究中的一项关键技术。该文基于ＣＬＩＭＢ方案结合导弹实际的研制过程，系统地研究了导弹系统数学模型验证......
